Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability.
José M. CastañoRodrigo CastañoPublished in: CIAA (2011)
Keyphrases
- propositional satisfiability
- variable ordering
- sat solvers
- boolean formula
- clause learning
- propositional logic
- automated reasoning
- constraint programming
- search algorithm
- industrial applications
- sat problem
- unit propagation
- sat instances
- davis putnam
- max sat
- theorem prover
- search space
- orders of magnitude
- search strategies
- stochastic local search
- search strategy
- machine learning