Verified Encodings for SAT Solvers.
Cayden R. CodelJeremy AvigadMarijn J. H. HeulePublished in: FMCAD (2023)
Keyphrases
- sat solvers
- boolean satisfiability
- sat instances
- sat encodings
- sat solving
- orders of magnitude
- sat problem
- constraint satisfaction
- propositional satisfiability
- search strategies
- search tree
- search space
- max sat
- satisfiability problem
- clause learning sat solvers
- stochastic local search
- clause learning
- weighted max sat