Keyphrases
- automated theorem proving
- disjunctive constraints
- reducing the search space
- theorem proving
- theorem prover
- answer set programming
- constraint logic programming
- constraint satisfaction problems
- classical logic
- binary constraints
- special case
- inference rules
- reduce the search space
- logic programming
- logic programs
- upper bound
- lower bound
- optimal solution
- heuristic search
- search space
- association rules