{"id":"https://openalex.org/W7139126109","doi":"https://doi.org/10.48550/arxiv.2603.15833","title":"A Comparative Analysis of Backbone Algorithms for Configurable Software Systems","display_name":"A Comparative Analysis of Backbone Algorithms for Configurable Software Systems","publication_year":2026,"publication_date":"2026-03-16","ids":{"openalex":"https://openalex.org/W7139126109","doi":"https://doi.org/10.48550/arxiv.2603.15833"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.15833","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.15833","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.15833","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5130154270","display_name":"Luis Cambelo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cambelo, Luis","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017186908","display_name":"Rub\u00e9n Heradio","orcid":"https://orcid.org/0000-0002-7131-0482"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Heradio, Ruben","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051760506","display_name":"Jos\u00e9-Miguel Horcas","orcid":"https://orcid.org/0000-0002-7771-0575"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Horcas, Jose-Miguel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5130071221","display_name":"Dictino Chaos","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chaos, Dictino","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5064430597","display_name":"David Fern\u00e1ndez-Amor\u00f3s","orcid":"https://orcid.org/0000-0003-3758-0195"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fernandez-Amoros, David","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9491999745368958,"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.9491999745368958,"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/T12127","display_name":"Software System Performance and Reliability","score":0.013399999588727951,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.012199999764561653,"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/heuristics","display_name":"Heuristics","score":0.6858000159263611},{"id":"https://openalex.org/keywords/preprocessor","display_name":"Preprocessor","score":0.48339998722076416},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.4832000136375427},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.45989999175071716},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.45730000734329224},{"id":"https://openalex.org/keywords/true-quantified-boolean-formula","display_name":"True quantified Boolean formula","score":0.4417000114917755},{"id":"https://openalex.org/keywords/feature-selection","display_name":"Feature selection","score":0.43810001015663147},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4203000068664551},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4174000024795532},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.4041999876499176}],"concepts":[{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.6858000159263611},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6777999997138977},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6370999813079834},{"id":"https://openalex.org/C34736171","wikidata":"https://www.wikidata.org/wiki/Q918333","display_name":"Preprocessor","level":2,"score":0.48339998722076416},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.4832000136375427},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45989999175071716},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.45730000734329224},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.4417000114917755},{"id":"https://openalex.org/C148483581","wikidata":"https://www.wikidata.org/wiki/Q446488","display_name":"Feature selection","level":2,"score":0.43810001015663147},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4203000068664551},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4174000024795532},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.4041999876499176},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.37860000133514404},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.3646000027656555},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.3637999892234802},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.35679998993873596},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35019999742507935},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.33239999413490295},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.3319999873638153},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.3292999863624573},{"id":"https://openalex.org/C136726353","wikidata":"https://www.wikidata.org/wiki/Q903789","display_name":"Disjunctive normal form","level":2,"score":0.3262999951839447},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3239000141620636},{"id":"https://openalex.org/C2778177629","wikidata":"https://www.wikidata.org/wiki/Q2111823","display_name":"Software product line","level":4,"score":0.3237999975681305},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.32269999384880066},{"id":"https://openalex.org/C74640108","wikidata":"https://www.wikidata.org/wiki/Q1372900","display_name":"Propositional formula","level":5,"score":0.31380000710487366},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.29190000891685486},{"id":"https://openalex.org/C115051666","wikidata":"https://www.wikidata.org/wiki/Q6522493","display_name":"Ranging","level":2,"score":0.27810001373291016},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.27799999713897705},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.26440000534057617},{"id":"https://openalex.org/C65236422","wikidata":"https://www.wikidata.org/wiki/Q173740","display_name":"Cartesian product","level":2,"score":0.26269999146461487},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.26170000433921814},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.25850000977516174},{"id":"https://openalex.org/C106516650","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm design","level":2,"score":0.25200000405311584},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.25049999356269836}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.15833","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.15833","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.15833","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.15833","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"Preprint"},"sustainable_development_goals":[{"score":0.6565002799034119,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,135],"backbone":[1,72],"of":[2,9,85,102,112],"a":[3,214],"Boolean":[4],"formula":[5],"is":[6,24,166],"the":[7,20,83,98,186,194,211,241],"set":[8],"literals":[10],"that":[11,18,138,197,236],"must":[12],"be":[13,252],"true":[14],"in":[15],"every":[16],"assignment":[17],"satisfies":[19],"formula.":[21],"This":[22,95],"concept":[23],"fundamental":[25],"to":[26,37,52,81,89,129,231],"key":[27],"operations":[28],"on":[29,75,116,205],"variability":[30,107,139,208],"models,":[31,108],"including":[32],"propagating":[33],"user":[34],"configuration":[35],"decisions":[36],"identify":[38],"implied":[39],"feature":[40],"selections,":[41],"detecting":[42],"dead":[43,46],"features":[44],"and":[45,49,126,132,249],"code":[47],"blocks,":[48],"preprocessing":[50],"formulas":[51,78,103,118,141,169,248],"accelerate":[53],"knowledge":[54],"compilation":[55],"into":[56],"tractable":[57],"representations":[58],"such":[59],"as":[60],"binary":[61],"decision":[62],"diagrams.":[63],"Despite":[64],"its":[65],"importance,":[66],"previous":[67],"empirical":[68],"studies":[69],"have":[70,200],"evaluated":[71],"algorithms":[73,115],"solely":[74],"SAT":[76,86],"competition":[77],"(typically":[79],"engineered":[80],"test":[82],"limits":[84],"solvers),":[87],"leading":[88],"inconsistent":[90],"conclusions":[91],"about":[92],"their":[93],"performance.":[94],"study":[96,212],"provides":[97,155,185],"first":[99],"comprehensive":[100],"evaluation":[101],"derived":[104],"from":[105,119,123],"real-world":[106],"analyzing":[109],"21":[110],"configurations":[111],"5":[113,177,219],"state-of-the-art":[114],"2,371":[117],"configurable":[120],"systems":[121],"ranging":[122],"100":[124],"variables":[125,131],"179":[127],"clauses":[128],"186,059":[130],"527,240":[133],"clauses.":[134],"results":[136,195],"indicate":[137],"model":[140],"are":[142],"structurally":[143],"distinct,":[144],"with":[145,163,170,180,220],"higher":[146],"clause":[147,151],"density":[148],"but":[149],"greater":[150],"simplicity.":[152],"Our":[153],"research":[154,215],"clear":[156],"algorithm":[157],"selection":[158,184],"guidelines:":[159],"Algorithm":[160,176,218,232],"2/3":[161,233],"(iterative":[162],"solution":[164],"filtering)":[165],"recommended":[167],"for":[168,190,207,256],"1,000":[171],"or":[172,202],"fewer":[173],"variables,":[174],"while":[175,217],"(chunked":[178],"core-based)":[179],"adaptive":[181],"chunk":[182,222,243],"size":[183,223,244],"best":[187],"practical":[188],"performance":[189,206],"larger":[191],"formulas.":[192],"Also,":[193],"show":[196],"filtering":[198],"heuristics":[199],"negligible":[201],"negative":[203],"effects":[204],"models.":[209],"Finally,":[210],"identifies":[213],"gap:":[216],"optimal":[221,242],"can":[224],"achieve":[225],"runtime":[226],"reductions":[227],"exceeding":[228],"50\\%":[229],"compared":[230],"(the":[234],"one":[235],"product":[237],"line":[238],"tools":[239],"implement),":[240],"varies":[245],"unpredictably":[246],"across":[247],"cannot":[250],"currently":[251],"estimated,":[253],"opening":[254],"directions":[255],"future":[257],"research.":[258]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-03-20T00:00:00"}