On the Tractability of Minimal Model Computation for Some CNF Theories.

Fabrizio Angiulli Rachel Ben-Eliyahu-Zohary Fabio Fassetti Luigi Palopoli

Published in: CoRR (2013)

Keyphrases

np complete
efficient computation
data sets
theoretical framework
constraint satisfaction
conjunctive normal form
expert systems
real time
artificial intelligence
computational complexity