The Horn Basis of a Set of Clauses.

Jean-Jacques Hébrard Philippe Luquet

Published in: J. Log. Program. (1998)

Keyphrases

horn clauses
probability distribution
genetic algorithm
np hard
artificial intelligence
search engine
database
decision trees
case study
database systems
relational databases