CODE: A Powerful Prover for Problems of Condensed Detachment.

Dirk Fuchs Matthias Fuchs

Published in: CADE (1997)

Keyphrases

difficult problems
hidden markov models
theorem prover
database
databases
data mining
information retrieval
decision trees
relational databases
software engineering
open source
optimization problems
source code
solving problems
related problems