Justification-Based Non-Clausal Local Search for SAT.
Matti JärvisaloTommi A. JunttilaIlkka NiemeläPublished in: ECAI (2008)
Keyphrases
- stochastic local search
- satisfiability problem
- propositional satisfiability
- search algorithm
- satisfiability testing
- random sat instances
- search procedures
- phase transition
- max sat
- sat solvers
- sat instances
- sat problem
- randomly generated
- search strategies
- inductive logic programming
- global search
- defeasible logic
- search space
- genetic algorithm
- constraint propagation
- simulated annealing
- stochastic local search algorithms
- theorem proving
- propositional logic
- optimization problems
- knowledge compilation
- constraint programming
- evolutionary algorithm
- clause learning