March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver.
Marijn HeuleMark DufourJoris E. van ZwietenHans van MaarenPublished in: SAT (Selected Papers (2004)
Keyphrases
- sat solvers
- sat solving
- orders of magnitude
- propositional satisfiability
- sat instances
- constraint satisfaction
- boolean satisfiability
- search strategies
- max sat
- sat problem
- search space
- knowledge base
- search tree
- automated reasoning
- satisfiability problem
- knowledge representation
- constraint solver
- unsatisfiable cores
- branch and bound algorithm
- clause learning
- np complete
- special case
- search algorithm