SAT-based analysis, (re-)configuration & optimization in the context of automotive product documentation

dc.contributor	Eberhard Karls Universität Tübingen	de_DE
dc.contributor.author	Walter, Rouven	de_DE
dc.date.accessioned	2018-03-06T14:43:20Z
dc.date.available	2018-03-06T14:43:20Z
dc.date.issued	2017	de_DE
dc.identifier.uri	http://hdl.handle.net/10900/80970
dc.language.iso	en
dc.publisher	Tübingen	de_DE
dc.relation.uri	http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-807329	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.title	SAT-based analysis, (re-)configuration & optimization in the context of automotive product documentation	de_DE
dc.type	PhDThesis	de_DE
utue.artikel.swb	500112762	de_DE
utue.artikel.swb	500110840	de_DE
utue.kommentar.intern	Dissertation, Eberhard Karls Universität Tübingen, 2018; Erscheint auch als, Online-Ausgabe, Walter, Rouven, SAT-based analysis, (re-)configuration & optimization in the context of automotive product documentation, Tübingen, 2018, 1 Online-Ressource (viii, 262 Seiten),	de_DE
utue.personen.pnd	Walter, Rouven/326538461	de_DE
utue.personen.roh	Walter, Rouven	de_DE
utue.publikation.seitengesamt	viii, 262 Seiten : Illustrationen	de_DE
utue.titel.verfasserangabe	vorgelegt von Rouven Walter, M. Sc. Informatik	de_DE
utue.publikation.abrufzeichen	tdis	de_DE
utue.publikation.swbdatum	1802	de_DE
utue.publikation.ddcroh	004	de_DE
utue.publikation.fachbereich	57	de_DE
utue.publikation.fakultaet	7 Mathematisch-Naturwissenschaftliche Fakultät	de_DE