{"id":"https://openalex.org/W2948370560","doi":"https://doi.org/10.15496/publikation-22126","title":"SAT-based Analysis, (Re-)Configuration & Optimization in the Context of Automotive Product documentation","display_name":"SAT-based Analysis, (Re-)Configuration & Optimization in the Context of Automotive Product documentation","publication_year":2018,"publication_date":"2018-02-22","ids":{"openalex":"https://openalex.org/W2948370560","doi":"https://doi.org/10.15496/publikation-22126","mag":"2948370560"},"language":"de","primary_location":{"id":"doi:10.15496/publikation-22126","is_oa":true,"landing_page_url":"https://doi.org/10.15496/publikation-22126","pdf_url":null,"source":{"id":"https://openalex.org/S7407053000","display_name":"Universit\u00e4tsbibliothek T\u00fcbingen","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"thesis"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.15496/publikation-22126","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038801024","display_name":"Rouven Walter","orcid":"https://orcid.org/0000-0001-5626-6615"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Walter, Rouven","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5038801024"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9815999865531921,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9815999865531921,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9753999710083008,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9139000177383423,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.7167009711265564},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.6832997798919678},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6305031776428223},{"id":"https://openalex.org/keywords/manufacturing-engineering","display_name":"Manufacturing engineering","score":0.5163977742195129},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5043658018112183},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.46028345823287964},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.41482269763946533},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.34356236457824707},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1469576358795166},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1369301974773407},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.10781732201576233}],"concepts":[{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.7167009711265564},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.6832997798919678},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6305031776428223},{"id":"https://openalex.org/C117671659","wikidata":"https://www.wikidata.org/wiki/Q11049265","display_name":"Manufacturing engineering","level":1,"score":0.5163977742195129},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5043658018112183},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46028345823287964},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.41482269763946533},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34356236457824707},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1469576358795166},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1369301974773407},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.10781732201576233},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.15496/publikation-22126","is_oa":true,"landing_page_url":"https://doi.org/10.15496/publikation-22126","pdf_url":null,"source":{"id":"https://openalex.org/S7407053000","display_name":"Universit\u00e4tsbibliothek T\u00fcbingen","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"thesis"},{"id":"mag:2948370560","is_oa":false,"landing_page_url":"https://publikationen.uni-tuebingen.de/xmlui/handle/10900/80732","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.15496/publikation-22126","is_oa":true,"landing_page_url":"https://doi.org/10.15496/publikation-22126","pdf_url":null,"source":{"id":"https://openalex.org/S7407053000","display_name":"Universit\u00e4tsbibliothek T\u00fcbingen","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"thesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2623732482","https://openalex.org/W2115503997","https://openalex.org/W2069522167","https://openalex.org/W2206711905","https://openalex.org/W1513782751","https://openalex.org/W2166178773","https://openalex.org/W1536030281","https://openalex.org/W2112243500","https://openalex.org/W2043876870","https://openalex.org/W2150763339","https://openalex.org/W1700062752","https://openalex.org/W2071719260","https://openalex.org/W1603779471","https://openalex.org/W1483198369","https://openalex.org/W1559274767","https://openalex.org/W2208059987","https://openalex.org/W2169173825","https://openalex.org/W1994939977","https://openalex.org/W2066189285","https://openalex.org/W2478459572"],"abstract_inverted_index":{"Es":[0,25],"gibt":[1,26],"einen":[2,267],"steigenden":[3],"Trend":[4],"hin":[5],"zu":[6,19,57,226,241,255],"kundenindividueller":[7],"Massenproduktion":[8,17],"(mass":[9],"customization),":[10],"insbesondere":[11],"im":[12,79,277],"Bereich":[13,80],"der":[14,23,44,65,77,81,100,131,152,191,201,211,248],"Automobilkonfiguration.":[15],"Kundenindividuelle":[16],"f\u00fchrt":[18],"einem":[20],"enormen":[21],"Anstieg":[22],"Komplexit\u00e4t.":[24],"Hunderte":[27],"von":[28,70,158,164,173,193,294],"Ausstattungsoptionen":[29],"aus":[30,122,210],"denen":[31],"ein":[32,53,95,231],"Kunde":[33],"w\u00e4hlen":[34],"kann":[35,291],"um":[36,239,257],"sich":[37,62,129,141,189],"sein":[38],"pers\u00f6nliches":[39],"Auto":[40],"zusammenzustellen.":[41],"Die":[42,118],"Anzahl":[43],"unterschiedlichen":[45],"konfigurierbaren":[46],"Autos":[47],"eines":[48,269],"deutschen":[49,297],"Premium-Herstellers":[50],"liegt":[51],"f\u00fcr":[52,84,136,144],"Fahrzeugmodell":[54],"bei":[55,99],"bis":[56],"10^80.":[58],"SAT-basierte":[59,112,142,169,279],"Methoden":[60,135,143,170,280,315],"haben":[61,265],"zur":[63,114,171],"Verifikation":[64,115,172],"St\u00fcckliste":[66],"(bill":[67],"of":[68],"materials)":[69],"Automobilkonfigurationen":[71],"etabliert.":[72],"Carsten":[73],"Sinz":[74],"hat":[75],"Mitte":[76],"90er":[78],"SAT-basierten":[82],"Verifikationsmethoden":[83],"die":[85,162,180,312],"Daimler":[86,101],"AG":[87,102],"Pionierarbeit":[88],"geleistet.":[89],"Darauf":[90],"aufbauend":[91],"wurde":[92],"nach":[93],"2005":[94],"produktives":[96],"Software":[97],"System":[98],"installiert.":[103],"Sp\u00e4ter":[104],"folgten":[105],"weitere":[106],"deutsche":[107],"Automobilhersteller":[108],"und":[109,161,197,213,281],"installierten":[110],"ebenfalls":[111],"Systeme":[113],"ihrer":[116],"St\u00fccklisten.":[117],"vorliegende":[119],"Arbeit":[120,264],"besteht":[121],"zwei":[123],"Hauptteilen.":[124],"Der":[125,185],"erste":[126],"Teil":[127,187],"besch\u00e4ftigt":[128,188],"mit":[130,190,233,247,292],"Entwicklung":[132],"weiterer":[133,236],"SAT-basierter":[134],"Automobilkonfigurationen.":[137,194],"Wir":[138,148,195,207],"zeigen,":[139],"dass":[140],"interaktive":[145,287],"Automobilkonfiguration":[146,212],"eignen.":[147],"behandeln":[149],"unterschiedliche":[150,199],"Aspekte":[151],"interaktiven":[153],"Konfiguration.":[154],"Darunter":[155],"Konsistenzpr\u00fcfung,":[156],"Generierung":[157],"Beispielen,":[159],"Erkl\u00e4rungen":[160],"Vermeidung":[163],"Fehlkonfigurationen.":[165],"Au\u00dferdem":[166],"entwickeln":[167],"wir":[168,245,266,311],"dynamischen":[174],"Zusammenbauten.":[175],"Ein":[176],"dynamischer":[177],"Zusammenbau":[178],"repr\u00e4sentiert":[179],"chronologische":[181],"Zusammenbau-Reihenfolge":[182],"komplexer":[183],"Teile.":[184],"zweite":[186],"Optimierung":[192],"erl\u00e4utern":[196],"vergleichen":[198],"Optimierungsprobleme":[200],"Aussagenlogik":[202],"sowie":[203],"deren":[204],"algorithmische":[205],"L\u00f6sungsans\u00e4tze.":[206],"beschreiben":[208],"Anwendungsf\u00e4lle":[209],"zeigen":[214],"wie":[215],"diese":[216],"als":[217],"aussagenlogisches":[218],"Optimierungsproblem":[219],"formalisiert":[220],"werden":[221],"k\u00f6nnen.":[222],"Beispielsweise":[223],"m\u00f6chte":[224],"man":[225],"einer":[227],"Menge":[228,252],"an":[229,253],"Ausstattungsw\u00fcnschen":[230],"Test-Fahrzeug":[232],"minimaler":[234],"Erg\u00e4nzung":[235],"Ausstattungen":[237],"berechnen":[238,256],"Kosten":[240],"sparen.":[242],"DesWeiteren":[243],"besch\u00e4ftigen":[244],"uns":[246],"Problemstellung":[249],"eine":[250,258,283],"kleinste":[251],"Fahrzeugen":[254],"Testmenge":[259],"abzudecken.":[260],"Im":[261],"Rahmen":[262],"dieser":[263],"Prototypen":[268],"(Re-)Konfigurators,":[270],"genannt":[271],"AutoConfig,":[272],"entwickelt.":[273],"Unser":[274],"(Re-)Konfigurator":[275],"verwendet":[276],"Kern":[278],"besitzt":[282],"grafische":[284],"Benutzeroberfl\u00e4che,":[285],"welche":[286],"Konfiguration":[288],"erlaubt.":[289],"AutoConfig":[290],"Instanzen":[293],"drei":[295],"gro\u00dfen":[296],"Automobilherstellern":[298],"umgehen,":[299],"aber":[300],"ist":[301],"nicht":[302],"alleine":[303],"darauf":[304],"beschr\u00e4nkt.":[305],"Mit":[306],"Hilfe":[307],"dieses":[308],"Prototyps":[309],"wollen":[310],"Anwendbarkeit":[313],"unserer":[314],"demonstrieren.":[316]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2019-06-14T00:00:00"}