Integrating Constraint Solving into Proof Planning.

Erica Melis Jürgen Zimmer Tobias Müller

Published in: FroCoS (2000)

Keyphrases

constraint solving
proof planning
concept formation
constraint propagation
theorem proving
constraint logic programming
building intelligent
constraint satisfaction
constraint satisfaction problems
constraint solver
constraint programming
theorem prover
machine learning
proof search
heuristic search