Publication services
→
Universitätsbibliographie
→
Browsing Universitätsbibliographie by Author

Browsing Universitätsbibliographie by Author "Walter, Rouven"

Now showing items 1-5 of 5

Anytime diagnosis for reconfiguration

Felfernig, Alexander; Walter, Rouven; Galindo, Jose A.; Benavides, David; Erdeniz, Seda Polat; Atas, Muslum; Reiterer, Stefan (2018)
Applications of MaxSAT in Automotive Configuration

Walter, Rouven; Zengler, Christoph; Küchlin, Wolfgang (2013)
Constraint-based and SAT-based diagnosis of automotive configuration problems

Walter, Rouven; Felfernig, Alexander; Kuechlin, Wolfgang (2017)
ReMax – A MaxSAT aided Product (Re-)Configurator

Walter, Rouven; Küchlin, Wolfgang (2014)
SAT-based analysis, (re-)configuration & optimization in the context of automotive product documentation

Walter, Rouven (2017)

Now showing items 1-5 of 5

Report a Publication

Help

Browse

All of DSpace
This Community

My Account

Login