conftrace_

literal ordering

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

The Impact of Literal Sorting on Cardinality Constraint Encodings AAAI 2025