Cooperation of Decision Procedures for the Satisfiability Problem.
Christophe RingeissenPublished in: FroCoS (1996)
Keyphrases
- decision procedures
- satisfiability problem
- np complete
- search algorithm
- temporal logic
- phase transition
- sat problem
- stochastic local search algorithms
- modal logic
- presburger arithmetic
- model theoretic
- stochastic local search
- databases
- theorem proving
- sat instances
- orders of magnitude
- max sat
- automated reasoning
- database
- conjunctive queries
- probability distribution
- mazurkiewicz traces