{"id":"https://openalex.org/W4411369582","doi":"https://doi.org/10.1145/3732771.3742723","title":"(Semantic) Feature Model Differences with (Q)SAT","display_name":"(Semantic) Feature Model Differences with (Q)SAT","publication_year":2025,"publication_date":"2025-06-12","ids":{"openalex":"https://openalex.org/W4411369582","doi":"https://doi.org/10.1145/3732771.3742723"},"language":"en","primary_location":{"id":"doi:10.1145/3732771.3742723","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3732771.3742723","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3732771.3742723","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3732771.3742723","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092719840","display_name":"Simone Heisinger","orcid":"https://orcid.org/0009-0000-7630-2791"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Simone Heisinger","raw_affiliation_strings":["Johannes Kepler University Linz, Linz, Austria"],"affiliations":[{"raw_affiliation_string":"Johannes Kepler University Linz, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037162787","display_name":"Maximilian Heisinger","orcid":"https://orcid.org/0000-0001-7297-6000"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Maximilian Heisinger","raw_affiliation_strings":["Johannes Kepler University Linz, Linz, Austria"],"affiliations":[{"raw_affiliation_string":"Johannes Kepler University Linz, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042183912","display_name":"Martina Seidl","orcid":"https://orcid.org/0000-0002-3267-4494"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Martina Seidl","raw_affiliation_strings":["Johannes Kepler University Linz, Linz, Austria"],"affiliations":[{"raw_affiliation_string":"Johannes Kepler University Linz, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5092719840"],"corresponding_institution_ids":["https://openalex.org/I121883995"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06911079,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"189","last_page":"198"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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.9998000264167786,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9983999729156494,"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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.7023302912712097},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.6285670399665833},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.43868422508239746},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.429080069065094},{"id":"https://openalex.org/keywords/semantic-feature","display_name":"Semantic feature","score":0.42166250944137573},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.07715216279029846}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7023302912712097},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.6285670399665833},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.43868422508239746},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.429080069065094},{"id":"https://openalex.org/C2781122975","wikidata":"https://www.wikidata.org/wiki/Q16928266","display_name":"Semantic feature","level":2,"score":0.42166250944137573},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.07715216279029846},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3732771.3742723","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3732771.3742723","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3732771.3742723","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3732771.3742723","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3732771.3742723","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3732771.3742723","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.41999998688697815,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[{"id":"https://openalex.org/G4125750076","display_name":null,"funder_award_id":"10.55776/COE12","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G5798262103","display_name":null,"funder_award_id":"10.55776/COE","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G7689679561","display_name":null,"funder_award_id":"10.55776/COE1","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411369582.pdf","grobid_xml":"https://content.openalex.org/works/W4411369582.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W1962592449","https://openalex.org/W1993196090","https://openalex.org/W2040767332","https://openalex.org/W2104208948","https://openalex.org/W2128967738","https://openalex.org/W2133527541","https://openalex.org/W2151338677","https://openalex.org/W2153690411","https://openalex.org/W2478950403","https://openalex.org/W2735855164","https://openalex.org/W2790174733","https://openalex.org/W3145038047","https://openalex.org/W3196342125","https://openalex.org/W3197859799","https://openalex.org/W4206807714","https://openalex.org/W4386156416","https://openalex.org/W4386749951","https://openalex.org/W4391155067","https://openalex.org/W4391155186","https://openalex.org/W4400190425","https://openalex.org/W6911603774","https://openalex.org/W6911709273","https://openalex.org/W6911714205","https://openalex.org/W6930229848","https://openalex.org/W6967773237","https://openalex.org/W6968018680","https://openalex.org/W6968589115"],"related_works":["https://openalex.org/W2364155688","https://openalex.org/W3204019825","https://openalex.org/W2046522763","https://openalex.org/W2366916257","https://openalex.org/W2375847997","https://openalex.org/W2072836406","https://openalex.org/W2391772185","https://openalex.org/W2061641547","https://openalex.org/W2355099127","https://openalex.org/W2361892564"],"abstract_inverted_index":{"Feature":[0],"models":[1,42,92,132],"evolve":[2],"in":[3,17,120,174,198],"multiple":[4],"iterations":[5,54],"over":[6],"time.":[7],"When":[8],"modellers":[9],"change":[10,64],"a":[11,147],"model,":[12],"they":[13],"enact":[14],"syntactical":[15,35],"changes":[16],"order":[18,121],"to":[19,32,45,70,103,122],"produce":[20],"specific":[21],"semantic":[22,49,95,108,128,148,184],"differences":[23,50,96,109,129],"between":[24,51,130],"model":[25,53,143,172],"iterations.":[26],"Many":[27],"tools":[28],"have":[29],"been":[30],"developed":[31],"analyze":[33],"such":[34],"differences,":[36],"but":[37],"the":[38,67,75,86,124,161,175],"changing":[39],"semantics":[40],"of":[41,90,127,160],"were":[43],"harder":[44],"assess.":[46],"Tools":[47],"for":[48],"feature":[52,91,131,142,171],"rely":[55],"on":[56,157,169],"Binary":[57],"Decision":[58],"Diagrams":[59],"(BDDs)":[60],"or":[61,80],"encode":[62],"each":[63],"into":[65,97,118],"SAT,":[66],"former":[68],"leading":[69],"BDD":[71],"scaling":[72],"issues":[73],"and":[74,93,100,105,133,166,187,195],"latter":[76],"requiring":[77],"editor":[78],"support":[79],"other":[81],"specialized":[82,141],"tooling.":[83],"We":[84,113,145,179,191],"contribute":[85],"first":[87],"concise":[88],"formalization":[89],"their":[94],"propositional":[98],"logic":[99],"use":[101],"it":[102,168],"efficiently":[104],"scalably":[106],"classify":[107],"using":[110,136,151],"SAT":[111],"solvers.":[112,144],"then":[114],"extend":[115],"our":[116,152,182],"definition":[117],"QSAT":[119],"quantify":[123],"full":[125],"list":[126],"enumerate":[134],"them":[135],"QBF":[137],"tools,":[138],"without":[139],"needing":[140],"implement":[146],"difference":[149,185],"classifier":[150],"UVL":[153,177],"processing":[154],"pipeline":[155],"based":[156],"Booleguru":[158],"(instead":[159],"more":[162],"widely":[163],"used":[164],"FeatureIDE)":[165],"evaluate":[167,181],"industrial":[170],"instances":[173],"standardized":[176],"format.":[178],"also":[180],"QSAT-based":[183],"enumerator":[186],"reproduce":[188],"prior":[189],"results.":[190],"provide":[192],"all":[193],"software":[194],"evaluation":[196],"results":[197],"an":[199],"artifact.":[200]},"counts_by_year":[],"updated_date":"2026-03-13T16:22:10.518609","created_date":"2025-10-10T00:00:00"}