Keyphrases
- modal logic
- computational complexity
- computational properties
- decision procedures
- logic programming
- multi valued
- stochastic local search
- sat encodings
- sat solving
- satisfiability problem
- propositional logic
- solving problems
- sat problem
- automated reasoning
- proof theory
- constraint satisfaction
- knowledge representation