Rouven Walter

According to our database, Rouven Walter authored at least 10 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

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

Rouven Walter

PhD thesis, 2018

Anytime diagnosis for reconfiguration.

Alexander Felfernig, Rouven Walter, José Angel Galindo, David Benavides, Seda Polat Erdeniz, Müslüm Atas, Stefan Reiterer

J. Intell. Inf. Syst., 2018

2017

Constraint-based and SAT-based diagnosis of automotive configuration problems.

Rouven Walter, Alexander Felfernig, Wolfgang Küchlin

J. Intell. Inf. Syst., 2017

2015

Optimal Coverage in Automotive Configuration.

Rouven Walter, Thore Kübart, Wolfgang Küchlin

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

Inverse QuickXplain vs. MaxSAT - a comparison in theory and practice.

Rouven Walter, Alexander Felfernig, Wolfgang Küchlin

Proceedings of the 17th International Configuration Workshop, 2015

Formal analysis of the Linux kernel configuration with SAT solving.

Martin Walch, Rouven Walter, Wolfgang Küchlin

Proceedings of the 17th International Configuration Workshop, 2015

Different solving strategies on PBO Problems from automotive industry.

Thore Kübart, Rouven Walter, Wolfgang Küchlin

Proceedings of the 17th International Configuration Workshop, 2015

FlexDiag: anytime diagnosis for reconfiguration.

Alexander Felfernig, Rouven Walter, Stefan Reiterer

Proceedings of the 17th International Configuration Workshop, 2015

2014

ReMax - A MaxSAT aided Product (Re-)Configurator.

Rouven Walter, Wolfgang Küchlin

Proceedings of the 16th International Configuration Workshop, 2014

2013

Applications of MaxSAT in Automotive Configuration.

Rouven Walter, Christoph Zengler, Wolfgang Küchlin

Proceedings of the 15th International Configuration Workshop, 2013