{"id":"https://openalex.org/W2156890722","doi":"https://doi.org/10.1613/jair.2648","title":"Solving #SAT and Bayesian Inference with Backtracking Search","display_name":"Solving #SAT and Bayesian Inference with Backtracking Search","publication_year":2009,"publication_date":"2009-03-28","ids":{"openalex":"https://openalex.org/W2156890722","doi":"https://doi.org/10.1613/jair.2648","mag":"2156890722"},"language":"en","primary_location":{"id":"doi:10.1613/jair.2648","doi":"https://doi.org/10.1613/jair.2648","is_oa":true,"landing_page_url":"https://doi.org/10.1613/jair.2648","pdf_url":"https://jair.org/index.php/jair/article/download/10594/25345","source":{"id":"https://openalex.org/S139930977","display_name":"Journal of Artificial Intelligence Research","issn_l":"1076-9757","issn":["1076-9757","1943-5037"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-scientific","ccf-b","cwts-core","doaj","dongbi-b","erih-plus","jufo-3","norway-2","oarl","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310315760","host_organization_name":"AI Access Foundation","host_organization_lineage":["https://openalex.org/P4310315760"],"host_organization_lineage_names":["AI Access Foundation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Artificial Intelligence Research","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://jair.org/index.php/jair/article/download/10594/25345","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"F. Bacchus","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"F. Bacchus","raw_affiliation_strings":["Department of Computer Science University of Toronto Toronto , Ontario Canada , M5S 3G4"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science University of Toronto Toronto , Ontario Canada , M5S 3G4","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":null,"display_name":"S. Dalmao","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"S. Dalmao","raw_affiliation_strings":["Department of Computer Science University of Toronto Toronto , Ontario Canada , M5S 3G4"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science University of Toronto Toronto , Ontario Canada , M5S 3G4","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"last","author":{"id":null,"display_name":"T. Pitassi","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"T. Pitassi","raw_affiliation_strings":["Department of Computer Science University of Toronto Toronto , Ontario Canada , M5S 3G4"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science University of Toronto Toronto , Ontario Canada , M5S 3G4","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I185261750"],"apc_list":null,"apc_paid":null,"fwci":2.3067,"has_fulltext":true,"cited_by_count":81,"citation_normalized_percentile":{"value":0.88318702,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":99},"biblio":{"volume":"34","issue":null,"first_page":"391","last_page":"442"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.5625,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.5625,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.3296000063419342,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.0729999989271164,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/sat","display_name":"SAT","score":0.953000009059906},{"id":"https://openalex.org/keywords/bayesian-inference","display_name":"Bayesian inference","score":0.6890000104904175},{"id":"https://openalex.org/keywords/backtracking","display_name":"backtracking","score":0.9480000138282776},{"id":"https://openalex.org/keywords/memoization","display_name":"memoization","score":0.843999981880188},{"id":"https://openalex.org/keywords/caching","display_name":"caching","score":0.828000009059906},{"id":"https://openalex.org/keywords/variable-ordering","display_name":"variable ordering","score":0.843999981880188},{"id":"https://openalex.org/keywords/space-time-tradeoff","display_name":"space-time tradeoff","score":0.9340000152587891},{"id":"https://openalex.org/keywords/exact-counting","display_name":"exact counting","score":0.5260000228881836},{"id":"https://openalex.org/keywords/probabilistic-reasoning","display_name":"probabilistic reasoning","score":0.7609999775886536},{"id":"https://openalex.org/keywords/boolean-formulas","display_name":"Boolean formulas","score":0.5080000162124634}],"concepts":[{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.857699990272522},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6919000148773193},{"id":"https://openalex.org/C79516417","wikidata":"https://www.wikidata.org/wiki/Q1376168","display_name":"Memoization","level":4,"score":0.6068999767303467},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.5570999979972839},{"id":"https://openalex.org/C147297375","wikidata":"https://www.wikidata.org/wiki/Q6674930","display_name":"Look-ahead","level":2,"score":0.5164999961853027},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4941999912261963},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4747999906539917},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.46709999442100525},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44859999418258667},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.43309998512268066},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.42800000309944153},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4205000102519989},{"id":"https://openalex.org/C143936061","wikidata":"https://www.wikidata.org/wiki/Q2030088","display_name":"DPLL algorithm","level":4,"score":0.41110000014305115},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.39750000834465027},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.3939000070095062},{"id":"https://openalex.org/C169272836","wikidata":"https://www.wikidata.org/wiki/Q5668307","display_name":"Variable elimination","level":3,"score":0.3684999942779541},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.35989999771118164},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.3522000014781952},{"id":"https://openalex.org/C194036150","wikidata":"https://www.wikidata.org/wiki/Q4876196","display_name":"Beam stack search","level":5,"score":0.32600000500679016},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.32359999418258667},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.3093000054359436},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.29319998621940613},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2849000096321106},{"id":"https://openalex.org/C148220186","wikidata":"https://www.wikidata.org/wiki/Q7111912","display_name":"Outcome (game theory)","level":2,"score":0.2806999981403351},{"id":"https://openalex.org/C33724603","wikidata":"https://www.wikidata.org/wiki/Q812540","display_name":"Bayesian network","level":2,"score":0.2782999873161316},{"id":"https://openalex.org/C201789804","wikidata":"https://www.wikidata.org/wiki/Q2362762","display_name":"Search problem","level":2,"score":0.2655999958515167},{"id":"https://openalex.org/C19889080","wikidata":"https://www.wikidata.org/wiki/Q2835852","display_name":"Beam search","level":3,"score":0.2574999928474426},{"id":"https://openalex.org/C160234255","wikidata":"https://www.wikidata.org/wiki/Q812535","display_name":"Bayesian inference","level":3,"score":0.2556999921798706},{"id":"https://openalex.org/C125583679","wikidata":"https://www.wikidata.org/wiki/Q755673","display_name":"Search algorithm","level":2,"score":0.25270000100135803}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1613/jair.2648","doi":"https://doi.org/10.1613/jair.2648","is_oa":true,"landing_page_url":"https://doi.org/10.1613/jair.2648","pdf_url":"https://jair.org/index.php/jair/article/download/10594/25345","source":{"id":"https://openalex.org/S139930977","display_name":"Journal of Artificial Intelligence Research","issn_l":"1076-9757","issn":["1076-9757","1943-5037"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-scientific","ccf-b","cwts-core","doaj","dongbi-b","erih-plus","jufo-3","norway-2","oarl","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310315760","host_organization_name":"AI Access Foundation","host_organization_lineage":["https://openalex.org/P4310315760"],"host_organization_lineage_names":["AI Access Foundation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Artificial Intelligence Research","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1401.3458","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1401.3458","pdf_url":"https://arxiv.org/pdf/1401.3458","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.399.7357","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.399.7357","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://jair.org/media/2648/live-2648-4340-jair.pdf","raw_type":"text"},{"id":"doi:10.48550/arxiv.1401.3458","doi":"https://doi.org/10.48550/arxiv.1401.3458","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1401.3458","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,"listed_in":[],"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":"article-journal"}],"best_oa_location":{"id":"doi:10.1613/jair.2648","doi":"https://doi.org/10.1613/jair.2648","is_oa":true,"landing_page_url":"https://doi.org/10.1613/jair.2648","pdf_url":"https://jair.org/index.php/jair/article/download/10594/25345","source":{"id":"https://openalex.org/S139930977","display_name":"Journal of Artificial Intelligence Research","issn_l":"1076-9757","issn":["1076-9757","1943-5037"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-scientific","ccf-b","cwts-core","doaj","dongbi-b","erih-plus","jufo-3","norway-2","oarl","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310315760","host_organization_name":"AI Access Foundation","host_organization_lineage":["https://openalex.org/P4310315760"],"host_organization_lineage_names":["AI Access Foundation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Artificial Intelligence Research","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2156890722.pdf","grobid_xml":"https://content.openalex.org/works/W2156890722.grobid-xml"},"referenced_works_count":73,"referenced_works":["https://openalex.org/W5450866","https://openalex.org/W9419878","https://openalex.org/W47855355","https://openalex.org/W54850713","https://openalex.org/W90023127","https://openalex.org/W91128990","https://openalex.org/W128348713","https://openalex.org/W179198942","https://openalex.org/W189719929","https://openalex.org/W238700879","https://openalex.org/W1480449740","https://openalex.org/W1487122116","https://openalex.org/W1494720687","https://openalex.org/W1495732641","https://openalex.org/W1502137748","https://openalex.org/W1505268972","https://openalex.org/W1537730723","https://openalex.org/W1539326816","https://openalex.org/W1544444076","https://openalex.org/W1548827561","https://openalex.org/W1560073188","https://openalex.org/W1562643156","https://openalex.org/W1565010992","https://openalex.org/W1581516506","https://openalex.org/W1590702004","https://openalex.org/W1593793857","https://openalex.org/W1598097103","https://openalex.org/W1606089158","https://openalex.org/W1618870210","https://openalex.org/W1686746446","https://openalex.org/W1972212960","https://openalex.org/W1982333717","https://openalex.org/W1996980357","https://openalex.org/W2005079828","https://openalex.org/W2006912660","https://openalex.org/W2024182184","https://openalex.org/W2029634712","https://openalex.org/W2036350017","https://openalex.org/W2047871605","https://openalex.org/W2057361103","https://openalex.org/W2062818807","https://openalex.org/W2062897452","https://openalex.org/W2069767473","https://openalex.org/W2105210717","https://openalex.org/W2108687116","https://openalex.org/W2108772500","https://openalex.org/W2113932434","https://openalex.org/W2114267503","https://openalex.org/W2115826669","https://openalex.org/W2139442450","https://openalex.org/W2139551184","https://openalex.org/W2142785340","https://openalex.org/W2152475379","https://openalex.org/W2154055561","https://openalex.org/W2157213051","https://openalex.org/W2159003936","https://openalex.org/W2159080219","https://openalex.org/W2163949730","https://openalex.org/W2400565179","https://openalex.org/W2402275861","https://openalex.org/W2578705463","https://openalex.org/W2728578066","https://openalex.org/W2752885492","https://openalex.org/W2912526555","https://openalex.org/W2986773320","https://openalex.org/W3145128584","https://openalex.org/W4233090747","https://openalex.org/W4250143236","https://openalex.org/W4285719527","https://openalex.org/W4288975351","https://openalex.org/W6682608097","https://openalex.org/W6732260887","https://openalex.org/W7029321148"],"related_works":["https://openalex.org/W2531671703","https://openalex.org/W2114267503","https://openalex.org/W1480349804","https://openalex.org/W180988575","https://openalex.org/W189719929","https://openalex.org/W7099519611","https://openalex.org/W92757538","https://openalex.org/W2090016236","https://openalex.org/W7099348537","https://openalex.org/W7095317838"],"abstract_inverted_index":{"Inference":[0],"in":[1,12,132,180],"Bayes":[2],"Nets":[3],"(BAYES)":[4],"is":[5,26,75],"an":[6,113],"important":[7],"problem":[8,30,70],"with":[9,60,71],"numerous":[10],"applications":[11],"probabilistic":[13],"reasoning.":[14],"Counting":[15],"the":[16,43,91,151,160],"number":[17,134],"of":[18,21,31,42,45,135,144,159,170,174],"satisfying":[19],"assignments":[20],"a":[22,27,61,133,168],"propositional":[23],"formula":[24],"(#SAT)":[25],"closely":[28],"related":[29],"fundamental":[32],"theoretical":[33],"importance.":[34],"Both":[35],"these":[36,184,191],"problems,":[37],"and":[38,85,186],"others,":[39],"are":[40],"members":[41],"class":[44],"sum-of-products":[46,69],"(SUMPROD)":[47],"problems.":[48,146],"In":[49],"this":[50,175],"paper":[51],"we":[52,187],"show":[53],"that":[54,74,86,109,137,153],"standard":[55,118],"backtracking":[56,154],"search":[57],"when":[58],"augmented":[59],"simple":[62],"memoization":[63],"scheme":[64],"(caching)":[65],"can":[66,88,111,155],"solve":[67],"any":[68,80],"time":[72],"complexity":[73],"at":[76],"least":[77],"as":[78],"good":[79],"other":[81,117],"state-of-the-art":[82],"exact":[83],"algorithm,":[84],"it":[87,110],"also":[89],"achieve":[90,112,164],"best":[92],"known":[93],"time-space":[94],"tradeoff.":[95],"Furthermore,":[96],"backtracking\u0092s":[97],"ability":[98],"to":[99,107,141,163,190],"utilize":[100],"more":[101,158],"flexible":[102],"variable":[103],"orderings":[104],"allows":[105],"us":[106],"prove":[108],"exponential":[114],"speedup":[115],"over":[116],"algorithms":[119],"for":[120],"SUMPROD":[121],"on":[122,167],"some":[123],"instances.":[124],"The":[125],"ideas":[126],"presented":[127],"here":[128],"have":[129,138,149],"been":[130,139],"utilized":[131],"solvers":[136],"applied":[140],"various":[142],"types":[143],"sum-of-product":[145],"These":[147],"system\u0092s":[148],"exploited":[150],"fact":[152],"naturally":[156],"exploit":[157],"problem\u0092s":[161],"structure":[162],"improved":[165],"performance":[166,176],"range":[169],"probleminstances.":[171],"Empirical":[172],"evidence":[173],"gain":[177],"has":[178],"appeared":[179],"published":[181],"works":[182],"describing":[183],"solvers,":[185],"provide":[188],"references":[189],"works.":[192]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":10},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}