Using a Theorem Prover for Reasoning on Constraint Problems.
Marco CadoliToni ManciniPublished in: Appl. Artif. Intell. (2007)
Keyphrases
- theorem prover
- constraint problems
- automated reasoning
- automated theorem proving
- theorem proving
- computer algebra systems
- constraint satisfaction
- constraint satisfaction problems
- first order logic
- constraint programming
- term rewriting
- randomly generated
- formal proof
- inference rules
- proof planning
- soft constraints
- optimisation problems
- natural deduction
- constraint propagation
- proof procedure
- knowledge base
- boolean algebra
- proof search
- modal logic
- machine learning
- special case
- genetic algorithm