{"id":"https://openalex.org/W3188203909","doi":"https://doi.org/10.1016/j.ijar.2021.07.007","title":"A compositional approach to probabilistic knowledge compilation","display_name":"A compositional approach to probabilistic knowledge compilation","publication_year":2021,"publication_date":"2021-08-03","ids":{"openalex":"https://openalex.org/W3188203909","doi":"https://doi.org/10.1016/j.ijar.2021.07.007","mag":"3188203909"},"language":"en","primary_location":{"id":"doi:10.1016/j.ijar.2021.07.007","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.ijar.2021.07.007","pdf_url":null,"source":{"id":"https://openalex.org/S33368595","display_name":"International Journal of Approximate Reasoning","issn_l":"0888-613X","issn":["0888-613X","1873-4731"],"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":"International Journal of Approximate Reasoning","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.ijar.2021.07.007","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006835582","display_name":"Giso H. Dal","orcid":"https://orcid.org/0000-0001-6283-4447"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Giso H. Dal","raw_affiliation_strings":["Institute for Computing and Information Sciences, Radboud University, the Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-6283-4447","affiliations":[{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University, the Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018667026","display_name":"Alfons Laarman","orcid":"https://orcid.org/0000-0002-2433-4174"},"institutions":[{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Alfons W. Laarman","raw_affiliation_strings":["Leiden Institute of Advanced Computer Science, Leiden University, the Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Leiden Institute of Advanced Computer Science, Leiden University, the Netherlands","institution_ids":["https://openalex.org/I121797337"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067441776","display_name":"Arjen Hommersom","orcid":"https://orcid.org/0000-0003-0125-1680"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]},{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Arjen Hommersom","raw_affiliation_strings":["Faculty of Science, Open University, the Netherlands","Institute for Computing and Information Sciences, Radboud University, the Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Science, Open University, the Netherlands","institution_ids":["https://openalex.org/I7876267"]},{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University, the Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007761892","display_name":"Peter Lucas","orcid":"https://orcid.org/0000-0001-5454-2428"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Peter J.F. Lucas","raw_affiliation_strings":["Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, the Netherlands","Institute for Computing and Information Sciences, Radboud University, the Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, the Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University, the Netherlands","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5006835582"],"corresponding_institution_ids":["https://openalex.org/I145872427"],"apc_list":{"value":2960,"currency":"USD","value_usd":2960},"apc_paid":{"value":2960,"currency":"USD","value_usd":2960},"fwci":0.8399,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.78772243,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"138","issue":null,"first_page":"38","last_page":"66"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9998999834060669,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9998999834060669,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9857000112533569,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.984000027179718,"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/inference","display_name":"Inference","score":0.7535475492477417},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6992652416229248},{"id":"https://openalex.org/keywords/bayesian-network","display_name":"Bayesian network","score":0.5269489884376526},{"id":"https://openalex.org/keywords/variable-elimination","display_name":"Variable elimination","score":0.5168960094451904},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.49943971633911133},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.45396101474761963},{"id":"https://openalex.org/keywords/bayesian-inference","display_name":"Bayesian inference","score":0.4223359525203705},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3963465094566345},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.38060516119003296},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3262624442577362},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.2939215898513794},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12386691570281982}],"concepts":[{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.7535475492477417},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6992652416229248},{"id":"https://openalex.org/C33724603","wikidata":"https://www.wikidata.org/wiki/Q812540","display_name":"Bayesian network","level":2,"score":0.5269489884376526},{"id":"https://openalex.org/C169272836","wikidata":"https://www.wikidata.org/wiki/Q5668307","display_name":"Variable elimination","level":3,"score":0.5168960094451904},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.49943971633911133},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.45396101474761963},{"id":"https://openalex.org/C160234255","wikidata":"https://www.wikidata.org/wiki/Q812535","display_name":"Bayesian inference","level":3,"score":0.4223359525203705},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3963465094566345},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38060516119003296},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3262624442577362},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.2939215898513794},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12386691570281982}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1016/j.ijar.2021.07.007","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.ijar.2021.07.007","pdf_url":null,"source":{"id":"https://openalex.org/S33368595","display_name":"International Journal of Approximate Reasoning","issn_l":"0888-613X","issn":["0888-613X","1873-4731"],"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":"International Journal of Approximate Reasoning","raw_type":"journal-article"},{"id":"pmh:oai:ris.utwente.nl:openaire/122e4491-5dd2-40d7-97ee-33424a7f9767","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/122e4491-5dd2-40d7-97ee-33424a7f9767","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Dal, G H, Laarman, A W, Hommersom, A & Lucas, P J F 2021, 'A compositional approach to probabilistic knowledge compilation', International Journal of Approximate Reasoning, vol. 138, pp. 38-66. https://doi.org/10.1016/j.ijar.2021.07.007","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/238863","is_oa":false,"landing_page_url":"https://repository.ubn.ru.nl/handle/2066/238863","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article / Letter to editor"},{"id":"pmh:oai:research.ou.nl:publications/b2d6fab0-4121-47d0-9f7c-aeb38a52bd9a","is_oa":true,"landing_page_url":"https://hdl.handle.net/1820/b2d6fab0-4121-47d0-9f7c-aeb38a52bd9a","pdf_url":null,"source":{"id":"https://openalex.org/S4406922485","display_name":"Open University of the Netherlands Research Portal","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":"Dal, G H, Laarman, A W, Hommersom, A & Lucas, P J F 2021, 'A compositional approach to probabilistic knowledge compilation', International Journal of Approximate Reasoning, vol. 138, pp. 38-66. https://doi.org/10.1016/j.ijar.2021.07.007","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:publications/122e4491-5dd2-40d7-97ee-33424a7f9767","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85112286306&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:scholarlypublications.universiteitleiden.nl:item_4214812","is_oa":false,"landing_page_url":"https://hdl.handle.net/1887/4214812","pdf_url":null,"source":{"id":"https://openalex.org/S4306400850","display_name":"Leiden Repository (Leiden University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I121797337","host_organization_name":"Leiden University","host_organization_lineage":["https://openalex.org/I121797337"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Approximate Reasoning","raw_type":"Text"},{"id":"pmh:ou:oai:research.ou.nl:publications/b2d6fab0-4121-47d0-9f7c-aeb38a52bd9a","is_oa":true,"landing_page_url":"https://research.ou.nl/en/publications/b2d6fab0-4121-47d0-9f7c-aeb38a52bd9a","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"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":"International Journal of Approximate Reasoning, 138, 38 - 66. Elsevier Science Inc.","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/238863","is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/238863","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Approximate Reasoning, 138, 38 - 66","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1016/j.ijar.2021.07.007","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.ijar.2021.07.007","pdf_url":null,"source":{"id":"https://openalex.org/S33368595","display_name":"International Journal of Approximate Reasoning","issn_l":"0888-613X","issn":["0888-613X","1873-4731"],"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":"International Journal of Approximate Reasoning","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7200000286102295,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":74,"referenced_works":["https://openalex.org/W34890220","https://openalex.org/W121366289","https://openalex.org/W207890491","https://openalex.org/W1513861746","https://openalex.org/W1533687111","https://openalex.org/W1544444076","https://openalex.org/W1569305728","https://openalex.org/W1599688665","https://openalex.org/W1605242707","https://openalex.org/W1746680969","https://openalex.org/W1862639047","https://openalex.org/W1929187328","https://openalex.org/W1979604948","https://openalex.org/W1999432334","https://openalex.org/W2037230115","https://openalex.org/W2062818807","https://openalex.org/W2066823902","https://openalex.org/W2078620789","https://openalex.org/W2080267935","https://openalex.org/W2097604736","https://openalex.org/W2101736851","https://openalex.org/W2105197197","https://openalex.org/W2115343237","https://openalex.org/W2124431017","https://openalex.org/W2135729506","https://openalex.org/W2141472133","https://openalex.org/W2145343136","https://openalex.org/W2150803754","https://openalex.org/W2163949730","https://openalex.org/W2175714895","https://openalex.org/W2534147422","https://openalex.org/W2555599621","https://openalex.org/W2586666171","https://openalex.org/W2621325907","https://openalex.org/W2734342344","https://openalex.org/W2756633154","https://openalex.org/W2899099875","https://openalex.org/W2904757977","https://openalex.org/W2912526555","https://openalex.org/W2937129136","https://openalex.org/W2951751496","https://openalex.org/W2966309298","https://openalex.org/W2969345004","https://openalex.org/W2987239078","https://openalex.org/W2994702301","https://openalex.org/W2997900103","https://openalex.org/W3022603917","https://openalex.org/W3098407604","https://openalex.org/W3098821697","https://openalex.org/W3099451540","https://openalex.org/W3102726227","https://openalex.org/W4256361765","https://openalex.org/W6608429615","https://openalex.org/W6631909816","https://openalex.org/W6632384879","https://openalex.org/W6634116098","https://openalex.org/W6636314749","https://openalex.org/W6637293442","https://openalex.org/W6639306265","https://openalex.org/W6640478449","https://openalex.org/W6659787686","https://openalex.org/W6667150007","https://openalex.org/W6674634794","https://openalex.org/W6680689811","https://openalex.org/W6681293590","https://openalex.org/W6692650907","https://openalex.org/W6730263163","https://openalex.org/W6740705323","https://openalex.org/W6756212420","https://openalex.org/W6766391484","https://openalex.org/W6772006766","https://openalex.org/W6772347653","https://openalex.org/W6783502689","https://openalex.org/W6843226540"],"related_works":["https://openalex.org/W2155154734","https://openalex.org/W3096727215","https://openalex.org/W1734881440","https://openalex.org/W2362542135","https://openalex.org/W2115836268","https://openalex.org/W2406488743","https://openalex.org/W2372267530","https://openalex.org/W2114556850","https://openalex.org/W2969189870","https://openalex.org/W2585791450"],"abstract_inverted_index":{"Bayesian":[0],"networks":[1],"(BN)":[2],"are":[3,145],"a":[4,62,85,95,109,112],"popular":[5],"representation":[6],"for":[7],"reasoning":[8],"under":[9],"uncertainty.":[10],"The":[11,138],"analysis":[12],"of":[13,32,45,69,77,114,120,166],"many":[14],"real-world":[15],"use":[16],"cases,":[17],"that":[18,144],"in":[19,67,123],"principle":[20],"can":[21],"be":[22,133],"modeled":[23],"by":[24,47,51,90,107],"BNs,":[25],"suffers":[26],"however":[27],"from":[28],"the":[29,43,52,75,118,153,164,171],"computational":[30],"complexity":[31,159],"inference.":[33],"Inference":[34],"methods":[35,60,93],"based":[36,178],"on":[37,179],"Weighted":[38,99],"Model":[39,100],"Counting":[40,101],"(WMC)":[41],"reduce":[42],"cost":[44,106,129],"inference":[46,128,157],"exploiting":[48],"patterns":[49],"exhibited":[50],"probabilities":[53],"associated":[54],"with":[55,94],"BN":[56,110],"nodes.":[57],"However,":[58],"these":[59,70],"require":[61],"computationally":[63],"intensive":[64],"compilation":[65,105,136],"step":[66],"search":[68],"patterns,":[71],"which":[72],"effectively":[73],"prohibits":[74],"handling":[76],"larger":[78],"BNs.":[79],"In":[80],"this":[81,88],"paper,":[82],"we":[83],"propose":[84],"solution":[86],"to":[87,125,175],"problem":[89],"extending":[91],"WMC":[92,124],"framework":[96,139],"called":[97],"Compositional":[98],"(CWMC).":[102],"CWMC":[103],"reduces":[104],"partitioning":[108],"into":[111],"set":[113],"subproblems,":[115],"thereby":[116],"scaling":[117],"application":[119],"state-of-the-art":[121],"innovations":[122],"scenarios":[126],"where":[127,161],"could":[130],"previously":[131],"not":[132],"amortized":[134],"over":[135],"cost.":[137],"supports":[140],"various":[141],"target":[142],"representations":[143],"less":[146],"or":[147],"equally":[148],"succinct":[149],"as":[150],"decision-DNNF.":[151],"At":[152],"same":[154],"time,":[155],"its":[156],"time":[158],"O(nexp\u2061(w)),":[160],"n":[162],"is":[163,170,173],"number":[165],"variables":[167],"and":[168,183],"w":[169],"tree-width,":[172],"comparable":[174],"mainstream":[176],"algorithms":[177],"variable":[180],"elimination,":[181],"clustering":[182],"conditioning.":[184]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}