Lean clause-sets: generalizations of minimally unsatisfiable clause-sets.

Oliver Kullmann

Published in: Discret. Appl. Math. (2003)

Keyphrases

horn clauses
information retrieval
real world
data sets
machine learning
genetic algorithm
artificial intelligence
e learning
website
search space
special case
logic programming
set theoretic