Keyphrases
- satisfiability problem
- stochastic local search
- np complete
- temporal logic
- phase transition
- search algorithm
- defeasible logic
- constraint propagation
- theorem proving
- inductive logic programming
- stochastic local search algorithms
- sat problem
- solving hard
- constraint satisfaction
- sat instances
- model checking
- pspace complete
- reinforcement learning
- horn clauses
- knowledge compilation
- np hard