Applications of MaxSAT in Automotive Configuration. - Rouven Walter; Christoph Zengler; Wolfgang Küchlin (Configuration Workshop, 2013)

ReMax - A MaxSAT aided Product (Re-)Configurator. - Rouven Walter; Wolfgang Küchlin (Configuration Workshop, 2014)

FlexDiag: anytime diagnosis for reconfiguration. - Alexander Felfernig; Rouven Walter; Stefan Reiterer (Configuration Workshop, 2015)

Different solving strategies on PBO Problems from automotive industry. - Thore Kübart; Rouven Walter; Wolfgang Küchlin (Configuration Workshop, 2015)

Formal analysis of the Linux kernel configuration with SAT solving. - Martin Walch; Rouven Walter; Wolfgang Küchlin (Configuration Workshop, 2015)

Inverse QuickXplain vs. MaxSAT - a comparison in theory and practice. - Rouven Walter; Alexander Felfernig; Wolfgang Küchlin (Configuration Workshop, 2015)

Optimal Coverage in Automotive Configuration. - Rouven Walter; Thore Kübart; Wolfgang Küchlin (MACIS, 2015)

Constraint-based and SAT-based diagnosis of automotive configuration problems. - Rouven Walter; Alexander Felfernig; Wolfgang Küchlin (J. Intell. Inf. Syst., 2017)

Anytime diagnosis for reconfiguration. - Alexander Felfernig; Rouven Walter; José Angel Galindo; David Benavides 001; Seda Polat Erdeniz; Müslüm Atas; Stefan Reiterer (J. Intell. Inf. Syst., 2018)

SAT-based Analysis, (Re-)Configuration & Optimization in the Context of Automotive Product documentation - Rouven Walter (2018)