Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Folgen
Dr. Rouven Walter
Dr. Rouven Walter
Software Developer, BooleWorks GmbH, Germany
Bestätigte E-Mail-Adresse bei booleworks.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
442018
Applications of MaxSAT in Automotive Configuration
R Walter, C Zengler, W Küchlin
Proceedings of the 15th International Configuration Workshop, CEUR Workshop …, 2013
332013
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
212017
ReMax – A MaxSAT aided Product (Re-) Configurator
R Walter, W Küchlin
Proceedings of the 16th International Configuration Workshop, CEUR Workshop …, 2014
102014
FlexDiag: anytime diagnosis for reconfiguration
A Felfernig, R Walter, S Reiterer
Proceedings of the 17th International Configuration Workshop, CEUR Workshop …, 2015
82015
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
82015
Optimal Coverage in Automotive Configuration
R Walter, T Kübart, W Küchlin
International Conference on Mathematical Aspects of Computer and Information …, 2015
52015
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
52015
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
22015
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–11