Alexander Nöhrer, Armin Biere, Alexander Egyed. Managing SAT inconsistencies with HUMUS. In Ulrich W. Eisenecker, Sven Apel, Stefania Gnesi, editors, Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings. pages 83-91, ACM, 2012. [doi]