{"id":"https://openalex.org/W3005452026","doi":"https://doi.org/10.1145/3377024.3377025","title":"Evaluating #SAT solvers on industrial feature models","display_name":"Evaluating #SAT solvers on industrial feature models","publication_year":2020,"publication_date":"2020-02-05","ids":{"openalex":"https://openalex.org/W3005452026","doi":"https://doi.org/10.1145/3377024.3377025","mag":"3005452026"},"language":"en","primary_location":{"id":"doi:10.1145/3377024.3377025","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3377024.3377025","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035888221","display_name":"Chico Sundermann","orcid":"https://orcid.org/0000-0002-5239-3307"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Chico Sundermann","raw_affiliation_strings":["Technische Universit\u00e4t Braunschweig"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Braunschweig","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022934464","display_name":"Thomas Th\u00fcm","orcid":"https://orcid.org/0000-0001-8069-9584"},"institutions":[{"id":"https://openalex.org/I196349391","display_name":"Universit\u00e4t Ulm","ror":"https://ror.org/032000t02","country_code":"DE","type":"education","lineage":["https://openalex.org/I196349391"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thomas Th\u00fcm","raw_affiliation_strings":["University of Ulm"],"affiliations":[{"raw_affiliation_string":"University of Ulm","institution_ids":["https://openalex.org/I196349391"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065261670","display_name":"Ina Schaefer","orcid":"https://orcid.org/0000-0002-7153-761X"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ina Schaefer","raw_affiliation_strings":["Technische Universit\u00e4t Braunschweig"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Braunschweig","institution_ids":["https://openalex.org/I94509681"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5035888221"],"corresponding_institution_ids":["https://openalex.org/I94509681"],"apc_list":null,"apc_paid":null,"fwci":3.314,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.93405446,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11729","display_name":"Product Development and Customization","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1405","display_name":"Management of Technology and Innovation"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9800999760627747,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/computer-science","display_name":"Computer science","score":0.7666240930557251},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7107506394386292},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.6765021681785583},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.6443955898284912},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6100748777389526},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.5523831248283386},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5228743553161621},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5013213157653809},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46204397082328796},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2106551229953766}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7666240930557251},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7107506394386292},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.6765021681785583},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.6443955898284912},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6100748777389526},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.5523831248283386},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5228743553161621},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5013213157653809},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46204397082328796},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2106551229953766},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3377024.3377025","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3377024.3377025","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5699999928474426,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W5450866","https://openalex.org/W9945751","https://openalex.org/W179198942","https://openalex.org/W1518070129","https://openalex.org/W1537730723","https://openalex.org/W1539326816","https://openalex.org/W1586677474","https://openalex.org/W1592338211","https://openalex.org/W1605891877","https://openalex.org/W1607840088","https://openalex.org/W1608654004","https://openalex.org/W1686746446","https://openalex.org/W1710690747","https://openalex.org/W1758913682","https://openalex.org/W1965693119","https://openalex.org/W2045558114","https://openalex.org/W2052229687","https://openalex.org/W2062483738","https://openalex.org/W2093810051","https://openalex.org/W2118622620","https://openalex.org/W2128967738","https://openalex.org/W2135525750","https://openalex.org/W2147148915","https://openalex.org/W2148043549","https://openalex.org/W2151338677","https://openalex.org/W2153690411","https://openalex.org/W2165210986","https://openalex.org/W2232506718","https://openalex.org/W2364847970","https://openalex.org/W2527243989","https://openalex.org/W2533276575","https://openalex.org/W2740402962","https://openalex.org/W2741061345","https://openalex.org/W2741942913","https://openalex.org/W2968570979","https://openalex.org/W2999916861","https://openalex.org/W3123509436","https://openalex.org/W3150134748","https://openalex.org/W4206807714","https://openalex.org/W4231708524","https://openalex.org/W4248492530","https://openalex.org/W6600411887"],"related_works":["https://openalex.org/W2115480761","https://openalex.org/W4386614288","https://openalex.org/W3176904788","https://openalex.org/W21597398","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W2920896101","https://openalex.org/W4281812495","https://openalex.org/W1913543287"],"abstract_inverted_index":{"Configurable":[0],"systems":[1,15,203],"are":[2,184,197],"widely":[3],"used":[4],"for":[5,187,204],"families":[6],"of":[7,25,45,53,61,87,96,99,114,120,123,138,144,150,178,190],"products":[8],"that":[9,172],"share":[10],"multiple":[11],"configuration":[12,20],"options.":[13],"These":[14],"often":[16],"induce":[17],"a":[18,27,62,72,100,139,145,176],"large":[19,185],"space.":[21],"Handling":[22],"the":[23,43,51,59,94,121,134,142,148,179,191,206],"variability":[24,60,86],"such":[26,48,88],"system":[28,74,140],"is":[29,68,106,117],"difficult":[30],"without":[31],"being":[32],"able":[33],"to":[34,70,75,84],"measure":[35],"its":[36],"complexity.":[37],"Several":[38],"methods":[39],"depend":[40],"on":[41,127,164],"computing":[42,147],"number":[44,95,149],"valid":[46,97,151],"configurations,":[47],"as":[49],"estimating":[50],"effort":[52],"an":[54,118],"update":[55],"or":[56],"effectively":[57],"reducing":[58],"system.":[63],"In":[64,153],"many":[65],"cases,":[66],"it":[67],"possible":[69],"map":[71],"configurable":[73],"propositional":[76,101],"logic.":[77],"Therefore,":[78],"we":[79,132,156],"use":[80],"#SAT":[81,91,125,162],"in":[82],"order":[83],"evaluate":[85,158],"systems.":[89,181],"A":[90],"solver":[92,146],"computes":[93],"assignments":[98],"formula.":[102],"However,":[103,182],"this":[104,154],"problem":[105],"even":[107,198],"harder":[108],"than":[109],"SAT.":[110],"The":[111],"main":[112],"contribution":[113],"our":[115],"work":[116],"investigation":[119],"scalability":[122],"off-the-shelf":[124],"solvers":[126,163,174,193,207],"industrial":[128,166],"feature":[129,167],"models.":[130,168],"Additionally,":[131],"examine":[133],"correlation":[135],"between":[136],"size":[137],"and":[141,200],"runtime":[143],"configurations.":[152],"paper,":[155],"empirically":[157],"nine":[159],"publicly":[160],"available":[161],"127":[165],"Our":[169],"results":[170],"indicate":[171],"current":[173],"master":[175],"majority":[177],"evaluated":[180,192],"there":[183,196],"models,":[186],"which":[188,205],"none":[189],"scales.":[194],"Nevertheless,":[195],"larger":[199],"more":[201],"complex":[202],"scale.":[208]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}