Keyphrases
- boolean functions
- ordered binary decision diagrams
- join algorithms
- query optimization
- formal proofs
- deterministic domains
- query processing
- mathematical proofs
- theorem proving
- cartesian product
- sort merge
- theorem prover
- database
- domain independent
- join operations
- knowledge compilation
- join processing
- natural deduction
- heuristic search
- reinforcement learning
- data sets