conftrace_

constraint encoding

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

sat solver (3) knot mosaic (2) knot theory (2) combinatorial optimization (2) literal ordering (1) solver performance (1) conjunctive normal form (1) combinatorial enumeration (1) combinatorial counting (1) broken triangle property (1)

Papers

The Impact of Literal Sorting on Cardinality Constraint Encodings AAAI 2025 Encoding Constraints as Binary Constraint Networks Satisfying BTP AAAI 2024 Counting Knot Mosaics with ALLSAT (Student Abstract) AAAI 2023 Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract) AAAI 2022 Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems IJCAI 2017