Theorem Proving by Combinatorial Optimization.
Hachemi BennaceurGérard PlateauPublished in: IWWERT (1991)
Keyphrases
- combinatorial optimization
- theorem proving
- combinatorial optimization problems
- automated deduction
- automated reasoning
- metaheuristic
- first order logic
- decision procedures
- branch and bound
- simulated annealing
- parallel search
- optimization problems
- automatic programming
- theorem prover
- term rewriting
- combinatorial problems
- inference rules
- traveling salesman problem
- automated theorem proving
- branch and bound algorithm
- proof planning
- combinatorial search
- consequence finding
- proof procedure
- logical inference
- hard combinatorial optimization problems
- natural deduction
- equational theories
- geometry theorem proving
- proof search
- tabu search
- predicate calculus
- artificial intelligence