Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking.
Ashish DarbariBernd FischerJoão Marques-SilvaPublished in: ICTAC (2010)
Keyphrases
- sat solving
- industrial strength
- sat solvers
- boolean satisfiability
- sat problem
- boolean optimization
- sat encodings
- theorem proving
- text mining
- max sat
- theorem prover
- propositional satisfiability
- symmetry breaking
- np complete
- branch and bound algorithm
- sat instances
- constraint satisfaction problems
- knowledge discovery
- information retrieval