An Investigation of Sharing Strategies for Answer Set Solvers and SAT Solvers.
Hung Viet LeEnrico PontelliPublished in: Euro-Par (2005)
Keyphrases
- sat solvers
- answer set solvers
- search strategies
- answer sets
- orders of magnitude
- max sat
- constraint satisfaction
- propositional satisfiability
- sat problem
- sat solving
- sat instances
- boolean satisfiability
- answer set programming
- search space
- search strategy
- clause learning
- sat encodings
- answer set programs
- logic programs
- boolean formula
- search algorithm
- constraint programming
- logic programming