CNF Encodings of Parity.
Gregory EmdinAlexander S. KulikovIvan MihajlinNikita SlezkinPublished in: CoRR (2022)
Keyphrases
- sat solving
- sat instances
- boolean satisfiability
- sat solvers
- sat encodings
- boolean functions
- error correction
- orders of magnitude
- cnf formula
- knowledge compilation
- planning problems
- clause learning
- database
- sat problem
- non binary
- model counting
- satisfiability problem
- max sat
- randomly generated
- domain independent
- optimal solution
- horn theories
- data sets