Keyphrases
- proof procedure
- propositional logic
- first order logic
- belief revision
- theorem proving
- propositional satisfiability
- search algorithm
- simulated annealing
- belief change
- search strategies
- satisfiability testing
- optimal solution
- combinatorial optimization
- tabu search
- constraint satisfaction
- metaheuristic
- knowledge representation