CNF Encodings of Parity.
Gregory EmdinAlexander S. KulikovIvan MihajlinNikita SlezkinPublished in: MFCS (2022)
Keyphrases
- sat solving
- sat instances
- sat encodings
- sat solvers
- boolean functions
- boolean satisfiability
- error correction
- non binary
- conjunctive normal form
- sat problem
- knowledge compilation
- randomly generated
- planning problems
- cnf formula
- boolean formula
- np complete
- phase transition
- neural network
- propositional satisfiability
- logic programs
- special case
- color images