Integrating advanced reasoning into a SAT solver.
Min DingPushan TangDian ZhouPublished in: Sci. China Ser. F Inf. Sci. (2005)
Keyphrases
- sat solvers
- sat solving
- orders of magnitude
- sat problem
- boolean satisfiability
- constraint satisfaction
- search tree
- propositional satisfiability
- search space
- search strategies
- sat instances
- reasoning tasks
- knowledge base
- max sat
- constraint solver
- unsatisfiable cores
- computational properties
- automated reasoning
- boolean formula
- knowledge representation
- heuristic search
- evolutionary algorithm
- lower bound