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]
@inproceedings{NohrerBE12-0,
title = {Managing SAT inconsistencies with HUMUS},
author = {Alexander Nöhrer and Armin Biere and Alexander Egyed},
year = {2012},
doi = {10.1145/2110147.2110157},
url = {http://doi.acm.org/10.1145/2110147.2110157},
researchr = {https://researchr.org/publication/NohrerBE12-0},
cites = {0},
citedby = {0},
pages = {83-91},
booktitle = {Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings},
editor = {Ulrich W. Eisenecker and Sven Apel and Stefania Gnesi},
publisher = {ACM},
isbn = {978-1-4503-1058-1},
}