Keyphrases
- ordinary differential equations
- satisfiability problem
- np complete
- propositional logic
- computational complexity
- decision procedures
- phase transition
- sat problem
- satisfiability testing
- reasoning problems
- artificial intelligence
- stochastic local search
- symmetry breaking
- sat solving
- quantified boolean formulas
- terminological reasoning