On the Use of Constraints in Automated Deduction

Hélène Kirchner

Published in: Constraint Programming (1994)

Keyphrases

automated deduction
theorem proving
theorem prover
logic programming
data mining
multi agent
search algorithm
pairwise
linear programming
real time
deductive databases
inference rules
neural network
databases
geometric constraints
constrained optimization
linear constraints
data sets