conftrace_

sat solver encoding

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

conjunctive normal form (1) literal ordering (1) constraint encoding (1) solver performance (1) propositional satisfiability (1) sat solver (1) cardinality constraint (1)

Papers

The Impact of Literal Sorting on Cardinality Constraint Encodings AAAI 2025