RegSTAB: A SAT Solver for Propositional Schemata.
Vincent AravantinosRicardo CaferraNicolas PeltierPublished in: IJCAR (2010)
Keyphrases
- sat solvers
- clause learning
- boolean formula
- propositional theories
- orders of magnitude
- sat solving
- boolean satisfiability
- propositional logic
- sat problem
- constraint satisfaction
- sat instances
- propositional satisfiability
- max sat
- search strategies
- search space
- first order logic
- propositional formulas
- cnf formula
- constraint solver
- information retrieval
- computational problems
- conjunctive normal form
- knowledge compilation
- functional dependencies
- logic programs
- symmetry breaking
- horn clauses
- practical problems
- special case
- satisfiability modulo theories