A sharp threshold for the renameable-Horn and the q-Horn properties.

Nadia Creignou Hervé Daudé John V. Franco

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

Keyphrases

np hard
horn theories
high quality
horn clauses
propositional logic
horn logic
artificial intelligence
computer vision
case study
social networks
np complete
integrity constraints
structural properties
desirable properties
information retrieval
machine learning
real world
real time