| Anytime diagnosis for reconfiguration A Felfernig, R Walter, JA Galindo, D Benavides, SP Erdeniz, M Atas, ... Journal of Intelligent Information Systems 51, 161-182, 2018 | 44 | 2018 |
| Applications of MaxSAT in Automotive Configuration R Walter, C Zengler, W Küchlin Proceedings of the 15th International Configuration Workshop, CEUR Workshop …, 2013 | 33 | 2013 |
| Constraint-based and SAT-based diagnosis of automotive configuration problems R Walter, A Felfernig, W Küchlin Journal of Intelligent Information Systems 49, 87-118, 2017 | 21 | 2017 |
| ReMax – A MaxSAT aided Product (Re-) Configurator R Walter, W Küchlin Proceedings of the 16th International Configuration Workshop, CEUR Workshop …, 2014 | 10 | 2014 |
| FlexDiag: anytime diagnosis for reconfiguration A Felfernig, R Walter, S Reiterer Proceedings of the 17th International Configuration Workshop, CEUR Workshop …, 2015 | 8 | 2015 |
| Formal analysis of the Linux kernel configuration with SAT solving M Walch, R Walter, W Küchlin Formal analysis of the Linux kernel configuration with SAT solving, CEUR …, 2015 | 8 | 2015 |
| Optimal Coverage in Automotive Configuration R Walter, T Kübart, W Küchlin International Conference on Mathematical Aspects of Computer and Information …, 2015 | 5 | 2015 |
| Inverse QuickXplain vs. MaxSAT — a comparison in theory and practice R Walter, A Felfernig, W Küchlin Proceedings of the 17th International Configuration Workshop, CEUR Workshop …, 2015 | 5 | 2015 |
| Different solving strategies on PBO Problems from automotive industry T Kübart, R Walter, W Küchlin Proceedings of the 17th International Configuration Workshop, CEUR Workshop …, 2015 | 2 | 2015 |
| SAT-based Analysis,(Re-) Configuration & Optimization in the Context of Automotive Product documentation R Walter Universität Tübingen, 2018 | | 2018 |
| Einfache Beweise in der Mathematik R Walter http://www.matheplanet.com/matheplanet/nuke/html/dl.php?id=1101&1443560850, 2014 | | 2014 |
Wolfgang KuechlinProfessor für Informatik (Symbolisches Rechnen), Uni TübingenVerified email at uni-tuebingen.de
