Invited Talk: Rewrite-based Deduction and Symbolic Constraints.

Robert Nieuwenhuis

Published in: CADE (1999)

Keyphrases

invited talk
knowledge discovery and data mining
selected papers
theorem proving
constrained optimization
databases
neural network
high level
learning systems
inference rules
computer algebra