Hans Kleine Büning, Oliver Kullmann. Minimal Unsatisfiability and Autarkies. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 339-401, IOS Press, 2009. [doi]
@incollection{BuningK09,
title = {Minimal Unsatisfiability and Autarkies},
author = {Hans Kleine Büning and Oliver Kullmann},
year = {2009},
doi = {10.3233/978-1-58603-929-5-339},
url = {http://dx.doi.org/10.3233/978-1-58603-929-5-339},
researchr = {https://researchr.org/publication/BuningK09},
cites = {0},
citedby = {0},
pages = {339-401},
booktitle = {Handbook of Satisfiability},
editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh},
volume = {185},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-58603-929-5},
}