Do SAT Solvers Make Good Configurators?

8 years 3 months ago
Do SAT Solvers Make Good Configurators?
A configuration process is about finding a configuration, a setting, that satisfies the requirements given by the user and constraints imposed by the domain. Feature models are used to record product domains and constraints imposed on individual products. As such constraints are in practice of complex nature, it is desirable to perform the configuration interactively. This article shows how to utilize a SAT solver in an interactive configuration process to provide support to the user.
Mikolás Janota
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2008
Where SPLC
Authors Mikolás Janota
Comments (0)