S. Baumer, Juan Luis Esteban, Jacobo Torán. Minimally Unsatisfiable CNF Formulas. Bulletin of the EATCS, 74:190-192, 2001.
@article{BaumerET01,
title = {Minimally Unsatisfiable CNF Formulas},
author = {S. Baumer and Juan Luis Esteban and Jacobo Torán},
year = {2001},
researchr = {https://researchr.org/publication/BaumerET01},
cites = {0},
citedby = {0},
journal = {Bulletin of the EATCS},
volume = {74},
pages = {190-192},
}