Technical Report
The classification of minimally unsatisfiable 2-CNFs -- a fundamental study
Oliver Kullmann 
Swansea University Author:
Oliver Kullmann
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.48550/arXiv.2003.03639
Abstract
The classification of minimally unsatisfiable 2-CNFs -- a fundamental study
| Published: |
arXiv
|
|---|---|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa71878 |
| Item Description: |
Preprint article before certification by peer review. |
|---|---|
| College: |
Faculty of Science and Engineering |