The following publications are possibly variants of this publication:
- Minimal Unsatisfiability and AutarkiesHans Kleine Büning, Oliver Kullmann. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability - Second Edition. Volume 336 of Frontiers in Artificial Intelligence and Applications, pages 571-633, IOS Press, 2021. [doi]
- Constraint satisfaction problems in clausal form: Autarkies and minimal unsatisfiabilityOliver Kullmann. eccc, 14(055), 2007. [doi]
- Constraint satisfaction problems in clausal form: Autarkies, minimal unsatisfiability, and applications to hypergraph inequalitiesOliver Kullmann. Dagstuhl 2006: [doi]