@Workshop{DBLP:conf/vamos/NohrerBE12,
  author    = {Alexander Nöhrer and Armin Biere and Alexander Egyed},
  booktitle = {5th International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS), Leipzig, Germany},
  title     = {Managing SAT inconsistencies with HUMUS.},
  year      = {2012},
  abstract  = {In Product Line Engineering, as in any other modeling domain, designers
	and end users are prone to making inconsistent assumptions (errors)
	because of complexity and lack of system knowledge. We previously
	envisioned a way of allowing inconsistencies during product configuration
	and in this paper we present a solution on how to realize this vision.
	We introduce HUMUS (High-level Union of Minimal Unsatisfiable Sets),
	which enables correct reasoning in product line engineering (encoded
	in SAT) despite the presence of errors. We focus mainly on tolerating
	inconsistencies during product configuration, to make it possible
	to resolve inconsistencies later without misguiding the human user
	along the way. We also provide a discussion of other applications
	in product line engineering and beyond. The main advantage of using
	HUMUS is, that it is possible to isolate erroneous parts of a product
	line model such that existing automations continue to be useful.
	The applications of HUMUS are thus likely beyond product line engineering.},
  pages     = {83-91},
  doi       = {10.1145/2110147.2110157},
  file      = {:Workshops\\VAMOS 2012 - Managing SAT Inconsistencies with HUMUS\\Managing SAT Inconsistencies with HUMUS-preprint.pdf:PDF},
  keywords  = {FWF P21321},
}