*SAT, KSATC, DLP and TA: a comparative analysis.
Enrico GiunchigliaFausto GiunchigliaArmando TacchellaPublished in: Description Logics (1999)
Keyphrases
- satisfiability problem
- sat solvers
- disjunctive logic programming
- boolean satisfiability
- stochastic local search algorithms
- search algorithm
- sat problem
- sat solving
- propositional satisfiability
- structured light
- max sat
- stochastic local search
- phase transition
- sat instances
- search strategies
- search space
- backtracking search
- pseudo boolean constraints
- modulo theories
- learning algorithm
- answer set programming
- variable ordering
- single image