TRIP: An Implementation of Clausal Rewriting.

Robert Nieuwenhuis Fernando Orejas Albert Rubio

Published in: CADE (1990)

Keyphrases

artificial intelligence
constraint propagation
data mining
learning algorithm
special case
efficient implementation
theorem proving
implementation details
decision procedures