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.

• Type: Conference
• Year: 2008
• Where: SPLC
• Authors: Mikolás Janota
• Keywords: Configuration Process, Feature Models, Interactive Configuration Process, Software Engineering, SPLC 2008