Deciding Separation Formulas with SAT.
Ofer StrichmanSanjit A. SeshiaRandal E. BryantPublished in: CAV (2002)
Keyphrases
- satisfiability problem
- quantifier free
- sat solvers
- propositional formulas
- cnf formula
- sat problem
- conjunctive normal form
- search algorithm
- sat solving
- boolean formula
- np complete
- phase transition
- first order logic
- truth assignment
- stochastic local search
- propositional satisfiability
- boolean satisfiability
- mathematical formulas
- quantifier elimination
- neural network
- randomly generated
- sat instances
- search strategies
- rewrite systems