{"id":"https://openalex.org/W4413953758","doi":"https://doi.org/10.3390/data10090141","title":"Scalable Model-Based Diagnosis with FastDiag: A Dataset and Parallel Benchmark Framework","display_name":"Scalable Model-Based Diagnosis with FastDiag: A Dataset and Parallel Benchmark Framework","publication_year":2025,"publication_date":"2025-09-03","ids":{"openalex":"https://openalex.org/W4413953758","doi":"https://doi.org/10.3390/data10090141"},"language":"en","primary_location":{"id":"doi:10.3390/data10090141","is_oa":true,"landing_page_url":"https://doi.org/10.3390/data10090141","pdf_url":"https://www.mdpi.com/2306-5729/10/9/141/pdf?version=1756892244","source":{"id":"https://openalex.org/S4210226510","display_name":"Data","issn_l":"2306-5729","issn":["2306-5729"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Data","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2306-5729/10/9/141/pdf?version=1756892244","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078417792","display_name":"Delia Isabel Carri\u00f3n Le\u00f3n","orcid":"https://orcid.org/0000-0003-1147-8045"},"institutions":[{"id":"https://openalex.org/I4210090927","display_name":"Universidad Estatal de Milagro","ror":"https://ror.org/00gd7ns03","country_code":"EC","type":"education","lineage":["https://openalex.org/I4210090927"]}],"countries":["EC"],"is_corresponding":false,"raw_author_name":"Delia Isabel Carri\u00f3n Le\u00f3n","raw_affiliation_strings":["Facultad de Ciencias e Ingenier\u00edas, Universidad Estatal de Milagro, Cdla. Universitaria Dr. R\u00f3mulo Minchala Murillo km 1.5 v\u00eda Milagro\u2014Virgen de F\u00e1tima, Milagro 091050, Guayas, Ecuador"],"raw_orcid":"https://orcid.org/0000-0003-1147-8045","affiliations":[{"raw_affiliation_string":"Facultad de Ciencias e Ingenier\u00edas, Universidad Estatal de Milagro, Cdla. Universitaria Dr. R\u00f3mulo Minchala Murillo km 1.5 v\u00eda Milagro\u2014Virgen de F\u00e1tima, Milagro 091050, Guayas, Ecuador","institution_ids":["https://openalex.org/I4210090927"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076413061","display_name":"Cristian Vidal-Silva","orcid":"https://orcid.org/0000-0002-1600-3447"},"institutions":[{"id":"https://openalex.org/I4210100770","display_name":"University of the Americas","ror":"https://ror.org/0166e9x11","country_code":"CL","type":"education","lineage":["https://openalex.org/I4210100770"]}],"countries":["CL"],"is_corresponding":true,"raw_author_name":"Cristian Vidal-Silva","raw_affiliation_strings":["Facultad de Ingenier\u00eda y Negocios, Universidad de Las Am\u00e9ricas, Manuel Montt 948, Providencia, Santiago 7500975, Chile"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facultad de Ingenier\u00eda y Negocios, Universidad de Las Am\u00e9ricas, Manuel Montt 948, Providencia, Santiago 7500975, Chile","institution_ids":["https://openalex.org/I4210100770"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031613626","display_name":"Nicol\u00e1s M\u00e1rquez","orcid":"https://orcid.org/0000-0003-2371-8253"},"institutions":[{"id":"https://openalex.org/I4210122369","display_name":"Universidad Santo Tom\u00e1s","ror":"https://ror.org/02vbtzd72","country_code":"CL","type":"education","lineage":["https://openalex.org/I4210122369"]}],"countries":["CL"],"is_corresponding":true,"raw_author_name":"Nicol\u00e1s M\u00e1rquez","raw_affiliation_strings":["Escuela de Ingenier\u00eda Comercial, Facultad de Econom\u00eda y Negocios, Universidad Santo Tom\u00e1s, Talca 3460000, Chile"],"raw_orcid":"https://orcid.org/0000-0003-2371-8253","affiliations":[{"raw_affiliation_string":"Escuela de Ingenier\u00eda Comercial, Facultad de Econom\u00eda y Negocios, Universidad Santo Tom\u00e1s, Talca 3460000, Chile","institution_ids":["https://openalex.org/I4210122369"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5031613626","https://openalex.org/A5076413061"],"corresponding_institution_ids":["https://openalex.org/I4210100770","https://openalex.org/I4210122369"],"apc_list":{"value":1600,"currency":"CHF","value_usd":1732},"apc_paid":{"value":1600,"currency":"CHF","value_usd":1732},"fwci":6.5456,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.96599917,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"10","issue":"9","first_page":"141","last_page":"141"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9758999943733215,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.7941474914550781},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7231727838516235},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7184560894966125},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.46642524003982544},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3556990623474121},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3452969193458557},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1550145149230957},{"id":"https://openalex.org/keywords/cartography","display_name":"Cartography","score":0.12025627493858337},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.09535026550292969}],"concepts":[{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.7941474914550781},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7231727838516235},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7184560894966125},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.46642524003982544},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3556990623474121},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3452969193458557},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1550145149230957},{"id":"https://openalex.org/C58640448","wikidata":"https://www.wikidata.org/wiki/Q42515","display_name":"Cartography","level":1,"score":0.12025627493858337},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.09535026550292969}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3390/data10090141","is_oa":true,"landing_page_url":"https://doi.org/10.3390/data10090141","pdf_url":"https://www.mdpi.com/2306-5729/10/9/141/pdf?version=1756892244","source":{"id":"https://openalex.org/S4210226510","display_name":"Data","issn_l":"2306-5729","issn":["2306-5729"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Data","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:0d56dad41ae34c239716fbc5f4dddc83","is_oa":true,"landing_page_url":"https://doaj.org/article/0d56dad41ae34c239716fbc5f4dddc83","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Data, Vol 10, Iss 9, p 141 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/data10090141","is_oa":true,"landing_page_url":"https://doi.org/10.3390/data10090141","pdf_url":"https://www.mdpi.com/2306-5729/10/9/141/pdf?version=1756892244","source":{"id":"https://openalex.org/S4210226510","display_name":"Data","issn_l":"2306-5729","issn":["2306-5729"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Data","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4413953758.pdf","grobid_xml":"https://content.openalex.org/works/W4413953758.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W147089577","https://openalex.org/W2003258198","https://openalex.org/W2103260426","https://openalex.org/W2128967738","https://openalex.org/W2139315672","https://openalex.org/W2161998660","https://openalex.org/W2302501749","https://openalex.org/W2934277119","https://openalex.org/W3013688454","https://openalex.org/W3211550595","https://openalex.org/W4226096495","https://openalex.org/W4312454233","https://openalex.org/W4391673398","https://openalex.org/W4396973353","https://openalex.org/W4401809443","https://openalex.org/W4413948746"],"related_works":["https://openalex.org/W4238897586","https://openalex.org/W435179959","https://openalex.org/W2619091065","https://openalex.org/W2059640416","https://openalex.org/W1490753184","https://openalex.org/W2284465472","https://openalex.org/W2291782699","https://openalex.org/W1993948687","https://openalex.org/W2000169967","https://openalex.org/W2352639277"],"abstract_inverted_index":{"FastDiag":[0,55],"is":[1,142],"a":[2,48,61],"widely":[3],"used":[4],"algorithm":[5],"for":[6,53,145],"model-based":[7],"diagnosis,":[8],"computing":[9],"minimal":[10],"subsets":[11],"of":[12,64,76,93,116],"constraints":[13],"whose":[14],"removal":[15],"restores":[16],"consistency":[17],"in":[18,24,74],"knowledge-based":[19],"systems.":[20],"As":[21],"applications":[22],"grow":[23],"complexity,":[25],"researchers":[26],"have":[27],"proposed":[28],"parallel":[29,58,103],"extensions":[30],"such":[31],"as":[32,126],"Java-version":[33],"FastDiagP":[34],"and":[35,42,50,56,67,81,86,96,107,134,148,156],"FastDiagP++":[36],"to":[37,118],"accelerate":[38],"diagnosis":[39],"through":[40],"speculative":[41],"multiprocessing":[43],"strategies.":[44,98],"This":[45],"paper":[46],"presents":[47],"reproducible":[49,146],"extensible":[51],"framework":[52,141],"evaluating":[54],"its":[57],"variants":[59],"across":[60],"benchmark":[62,111],"suite":[63],"feature":[65],"models":[66],"ontology-like":[68],"constraints.":[69],"We":[70],"analyze":[71],"each":[72],"variant":[73],"terms":[75],"recursion":[77],"structure,":[78],"runtime":[79,114],"performance,":[80],"diagnostic":[82],"correctness.":[83],"Tracking":[84],"mechanisms":[85],"structured":[87],"logs":[88],"enable":[89],"the":[90],"fine-grained":[91],"comparison":[92],"recursive":[94],"behavior":[95],"branching":[97],"Technical":[99],"validation":[100],"confirms":[101],"that":[102,153],"execution":[104],"preserves":[105],"minimality":[106],"structural":[108],"soundness,":[109],"while":[110],"results":[112],"show":[113],"improvements":[115],"up":[117],"4\u00d7":[119],"with":[120,150],"FastDiagP++.":[121],"The":[122,140],"accompanying":[123],"dataset,":[124],"available":[125],"open":[127],"source,":[128],"supports":[129],"educational":[130],"use,":[131],"algorithmic":[132],"benchmarking,":[133],"integration":[135],"into":[136],"interactive":[137],"configuration":[138],"environments.":[139],"primarily":[143],"intended":[144],"benchmarking":[147],"teaching":[149],"open-source":[151],"implementations":[152],"facilitate":[154],"analysis":[155],"extension.":[157]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}