References

BooleWorks' employees published many scientific articles on algorithms for solving configuration problems over the last years. Comprehensive introductions are provided by two PhD theses:

• New Formal Methods for Automotive Configuration (2014) by Christoph Zengler
• SAT-based Analysis,(Re-) Configuration & Optimization in the Context of Automotive Product Documentation (2018) by Rouven Walter

The SofDCar project is funded by