Unit Refutations and Horn Sets.

Lawrence J. Henschen Larry Wos

Published in: J. ACM (1974)

Keyphrases

np hard
horn clauses
definite clause
real time
machine learning
metadata
case study
natural language
relational databases
np complete
set theoretic