Automated Deduction with Constraints.

Published in: CCL (1994)

Keyphrases

automated deduction
theorem proving
theorem prover
logic programming
databases
neural network
data mining
general purpose
deductive databases
constrained optimization
multiple constraints
real time
machine learning
geometric constraints