Feature trees
Ideen zu Feature-Baum: Kombination mit SAT-Solvern und Kombination mit
Produktlinien (von Bernhard):
Konfigurationen können automatisch mit SAT-Solvern auf Zulässigkeit
geprüft werden. Es können auch minimale gemeinsame Teile verschiedener
Konfigurationen zum Festlegen von Produktlinien automatisch bestimmt
werden.
http://www.cesarproject.eu/fileadmin/user_upload/CESAR_D_SP2_R2.1_M1_v1.000.pdf, S. 32
in Verbindung mit [WZZ+2009]
(from redmine: issue id 612, created on 2012-02-02, closed on 2017-11-28)