First find your clause.

Michael Freeston

Published in: CNKBS (1992)

Keyphrases

search space
data sets
artificial intelligence
satisfiability testing
theorem prover
databases
data mining
machine learning
data structure
special case
horn clauses
cnf formula