
pl. Uniwersytecki
Zainteresowania
- sat
- computation theory mathematics
- computational complexity
- encoding
- sat encoding
- sat encodings
- computer networks
- comparator networks
- cnf
- cnf encoding
Najnowsze publikacje
- Encoding cardinality constraints using multiway merge selection networks
- Competitive sorter-based encoding of PB-Constraints into SAT
- Incremental encoding of pseudo-boolean goal functions based on comparator networks
- Reusing comparator networks in pseudo-Boolean encodings
- Vertex 2-coloring without monochromatic cycles of fixed size is NP-complete
- Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency
- On vertex coloring without monochromatic triangles