Keyphrases
- automated deduction
- timed automata
- theorem prover
- heuristic search
- theorem proving
- binary decision diagrams
- inference rules
- logic programming
- knowledge compilation
- set bounds propagation
- deductive databases
- search space
- data structure
- learning algorithm
- real world
- databases
- boolean functions
- database
- general purpose
- search algorithm