Keyphrases
- modal logic
- decision procedures
- functional dependencies
- optimal solution
- tabu search
- search algorithm
- theorem proving
- dynamic programming
- combinatorial optimization
- feasible solution
- sequent calculi
- database
- proof procedure
- temporal logic
- simulated annealing
- scheduling problem
- expert systems
- information systems
- data mining
- real world