Classification of minimally unsatisfiable 2-CNFs
Classification of minimally unsatisfiable 2-CNFs
About this item
Full title
Author / Creator
Publisher
Ithaca: Cornell University Library, arXiv.org
Journal title
Language
English
Formats
Publication information
Publisher
Ithaca: Cornell University Library, arXiv.org
Subjects
More information
Scope and Contents
Contents
We consider minimally unsatisfiable 2-CNFs (short 2-MUs). Characterisations of 2-MUs in the literature have been restricted to the nonsingular case (where every variable occurs positively and negatively at least twice), and those with a unit-clause. We provide the full classification of 2-MUs F. The main tool is the implication digraph, and we show...
Alternative Titles
Full title
Classification of minimally unsatisfiable 2-CNFs
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_proquest_journals_2375601729
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_proquest_journals_2375601729
Other Identifiers
E-ISSN
2331-8422
