{"id":"https://openalex.org/W7169835162","doi":"https://doi.org/10.1016/j.scico.2026.103549","title":"uvl2dimacs: Optimized translation from universal variability language into Boolean logic","display_name":"uvl2dimacs: Optimized translation from universal variability language into Boolean logic","publication_year":2026,"publication_date":"2026-07-21","ids":{"openalex":"https://openalex.org/W7169835162","doi":"https://doi.org/10.1016/j.scico.2026.103549"},"language":"en","primary_location":{"id":"doi:10.1016/j.scico.2026.103549","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.scico.2026.103549","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science of Computer Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/j.scico.2026.103549","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017186908","display_name":"Rub\u00e9n Heradio","orcid":"https://orcid.org/0000-0002-7131-0482"},"institutions":[{"id":"https://openalex.org/I178450904","display_name":"Universidad Nacional de Educaci\u00f3n a Distancia","ror":"https://ror.org/02msb5n36","country_code":"ES","type":"education","lineage":["https://openalex.org/I178450904"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Ruben Heradio","raw_affiliation_strings":["Universidad Nacional de Educaci\u00f3n a Distancia (UNED), Juan del Rosal 16, Madrid 28040 Spain"],"raw_orcid":"https://orcid.org/0000-0002-7131-0482","affiliations":[{"raw_affiliation_string":"Universidad Nacional de Educaci\u00f3n a Distancia (UNED), Juan del Rosal 16, Madrid 28040 Spain","institution_ids":["https://openalex.org/I178450904"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064430597","display_name":"David Fern\u00e1ndez-Amor\u00f3s","orcid":"https://orcid.org/0000-0003-3758-0195"},"institutions":[{"id":"https://openalex.org/I178450904","display_name":"Universidad Nacional de Educaci\u00f3n a Distancia","ror":"https://ror.org/02msb5n36","country_code":"ES","type":"education","lineage":["https://openalex.org/I178450904"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"David Fernandez-Amoros","raw_affiliation_strings":["Universidad Nacional de Educaci\u00f3n a Distancia (UNED), Juan del Rosal 16, Madrid 28040 Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Nacional de Educaci\u00f3n a Distancia (UNED), Juan del Rosal 16, Madrid 28040 Spain","institution_ids":["https://openalex.org/I178450904"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5141266578","display_name":"Ismael Abad-Cardiel","orcid":null},"institutions":[{"id":"https://openalex.org/I178450904","display_name":"Universidad Nacional de Educaci\u00f3n a Distancia","ror":"https://ror.org/02msb5n36","country_code":"ES","type":"education","lineage":["https://openalex.org/I178450904"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Ismael Abad-Cardiel","raw_affiliation_strings":["Universidad Nacional de Educaci\u00f3n a Distancia (UNED), Juan del Rosal 16, Madrid 28040 Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Nacional de Educaci\u00f3n a Distancia (UNED), Juan del Rosal 16, Madrid 28040 Spain","institution_ids":["https://openalex.org/I178450904"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5134194951","display_name":"Ernesto Aranda-Escol\u00e1stico","orcid":null},"institutions":[{"id":"https://openalex.org/I178450904","display_name":"Universidad Nacional de Educaci\u00f3n a Distancia","ror":"https://ror.org/02msb5n36","country_code":"ES","type":"education","lineage":["https://openalex.org/I178450904"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Ernesto Aranda-Escol\u00e1stico","raw_affiliation_strings":["Universidad Nacional de Educaci\u00f3n a Distancia (UNED), Juan del Rosal 16, Madrid 28040 Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Nacional de Educaci\u00f3n a Distancia (UNED), Juan del Rosal 16, Madrid 28040 Spain","institution_ids":["https://openalex.org/I178450904"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5017186908"],"corresponding_institution_ids":["https://openalex.org/I178450904"],"apc_list":{"value":2600,"currency":"USD","value_usd":2600},"apc_paid":{"value":2600,"currency":"USD","value_usd":2600},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.75716506,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"255","issue":null,"first_page":"103549","last_page":"103549"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.3084000051021576,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.3084000051021576,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.26579999923706055,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.08299999684095383,"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/translation","display_name":"Translation (biology)","score":0.5896999835968018},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.35409998893737793},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.35249999165534973},{"id":"https://openalex.org/keywords/machine-translation","display_name":"Machine translation","score":0.34850001335144043},{"id":"https://openalex.org/keywords/variation","display_name":"Variation (astronomy)","score":0.33219999074935913},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.32690000534057617}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8439000248908997},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.5896999835968018},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43050000071525574},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.382099986076355},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.35409998893737793},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.35249999165534973},{"id":"https://openalex.org/C203005215","wikidata":"https://www.wikidata.org/wiki/Q79798","display_name":"Machine translation","level":2,"score":0.34850001335144043},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3472999930381775},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3424000144004822},{"id":"https://openalex.org/C2778334786","wikidata":"https://www.wikidata.org/wiki/Q1586270","display_name":"Variation (astronomy)","level":2,"score":0.33219999074935913},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.32690000534057617},{"id":"https://openalex.org/C9429942","wikidata":"https://www.wikidata.org/wiki/Q1781698","display_name":"Product term","level":5,"score":0.32330000400543213},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3077000081539154},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.2919999957084656},{"id":"https://openalex.org/C4926405","wikidata":"https://www.wikidata.org/wiki/Q3269980","display_name":"Boolean domain","level":5,"score":0.27379998564720154},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.262800008058548}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/j.scico.2026.103549","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.scico.2026.103549","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science of Computer Programming","raw_type":"journal-article"},{"id":"pmh:oai:e-spacio.uned.es:20.500.14468/33091","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.14468/33091","pdf_url":"https://e-spacio.uned.es/bitstreams/d47269af-dee1-4004-8782-7eacb2ca0839/download","source":{"id":"https://openalex.org/S7407055166","display_name":"UNED repository","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"journal article"}],"best_oa_location":{"id":"doi:10.1016/j.scico.2026.103549","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.scico.2026.103549","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science of Computer Programming","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.4012942612171173}],"awards":[{"id":"https://openalex.org/G3801650378","display_name":null,"funder_award_id":"PID2022-142043NB-I00","funder_id":"https://openalex.org/F4320315062","funder_display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades"},{"id":"https://openalex.org/G8573595818","display_name":null,"funder_award_id":"PID2022-142043NB-I00","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320315062","display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades","ror":null},{"id":"https://openalex.org/F4320323261","display_name":"Universidad Nacional de Educaci\u00f3n a Distancia","ror":"https://ror.org/02msb5n36"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":"https://ror.org/003x0zc53"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1568917966","https://openalex.org/W2080267935","https://openalex.org/W2105197197","https://openalex.org/W2128967738","https://openalex.org/W2144179818","https://openalex.org/W2328309997","https://openalex.org/W2968695908","https://openalex.org/W4385616879","https://openalex.org/W4400190425","https://openalex.org/W4403464668","https://openalex.org/W4407025348","https://openalex.org/W4409475865"],"related_works":[],"abstract_inverted_index":{"The":[0],"Universal":[1],"Variability":[2],"Language":[3],"(UVL)":[4],"serves":[5],"as":[6],"the":[7,42,91,96,104,119],"primary":[8],"standard":[9],"for":[10,27],"describing":[11],"variability":[12],"models":[13,89,111,129],"in":[14,41,108,125,137],"configurable":[15],"software":[16],"systems.":[17],"SAT/#SAT":[18],"technology":[19],"and":[20,34,72,77,99],"knowledge-compilation":[21],"tools,":[22],"which":[23,67,75],"are":[24],"commonly":[25],"used":[26],"configuration":[28],"checking,":[29],"feature":[30],"analysis,":[31],"product":[32],"counting,":[33],"generating":[35],"uniform":[36],"random":[37],"samples,":[38],"require":[39],"input":[40],"DIMACS":[43,58],"format.":[44],"This":[45],"paper":[46],"presents":[47],"uvl2dimacs":[48],",":[49],"a":[50,64,113,132],"C++":[51],"tool":[52],"that":[53],"converts":[54],"UVL":[55],"specifications":[56],"into":[57],"by":[59,80],"providing":[60],"two":[61],"complementary":[62],"techniques:":[63],"Tseitin":[65,120],"transformation,":[66],"limits":[68],"exponential":[69],"clause":[70,123],"growth,":[71],"backbone":[73],"simplification,":[74],"shortens":[76],"eliminates":[78],"clauses":[79,107],"identifying":[81],"fixed":[82],"literals.":[83],"An":[84],"evaluation":[85],"of":[86,106,110,116,128,135],"1,533":[87],"real-world":[88],"from":[90],"UVLHub":[92],"public":[93],"repository":[94],"demonstrates":[95],"tool\u2019s":[97],"correctness":[98],"effectiveness.":[100],"Backbone":[101],"simplification":[102],"reduces":[103],"number":[105],"99.09%":[109],"(with":[112],"median":[114,133],"reduction":[115,124,134],"40.43%),":[117],"while":[118],"transformation":[121],"achieves":[122],"only":[126],"0.65%":[127],"(but":[130],"with":[131],"83.11%":[136],"those":[138],"cases).":[139]},"counts_by_year":[],"updated_date":"2026-08-29T07:29:34.045763","created_date":"2026-07-22T00:00:00"}