On the tractability of minimal model computation for some CNF theories

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

Research output: Contribution to journalArticlepeer-review

13 Scopus citations

Fingerprint

Dive into the research topics of 'On the tractability of minimal model computation for some CNF theories'. Together they form a unique fingerprint.

Arts & Humanities

Engineering & Materials Science

Social Sciences