{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T01:42:05Z","timestamp":1787017325030,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":81,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,14]],"date-time":"2020-06-14T00:00:00Z","timestamp":1592092800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100014718","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1907997,1703281,1614738,1535565"],"award-info":[{"award-number":["1907997,1703281,1614738,1535565"]}],"id":[{"id":"10.13039\/100014718","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,14]]},"DOI":"10.1145\/3375395.3389129","type":"proceedings-article","created":{"date-parts":[[2020,5,29]],"date-time":"2020-05-29T11:10:29Z","timestamp":1590750629000},"page":"19-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Probabilistic Databases for All"],"prefix":"10.1145","author":[{"given":"Dan","family":"Suciu","sequence":"first","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--662--47666--6_5"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICDT.2020.5"},{"key":"e_1_3_2_1_3_1","unstructured":"Antoine Amarilli and Benny Kimelfeld. 2019. Uniform Reliability of Self-Join-Free Conjunctive Queries. arXiv:1908.07093 [cs.DB]  Antoine Amarilli and Benny Kimelfeld. 2019. Uniform Reliability of Self-Join-Free Conjunctive Queries. arXiv:1908.07093 [cs.DB]"},{"key":"e_1_3_2_1_4_1","volume-title":"Counting Problems over Incomplete Databases. CoRRabs\/1912.11064","author":"Arenas Marcelo","year":"2019","unstructured":"Marcelo Arenas , Pablo Barcel\u00f3 , and Mika\u00ebl Monet . 2019. Counting Problems over Incomplete Databases. CoRRabs\/1912.11064 ( 2019 ). arXiv:1912.11064 http:\/\/arxiv.org\/abs\/1912.11064 Marcelo Arenas, Pablo Barcel\u00f3, and Mika\u00ebl Monet. 2019. Counting Problems over Incomplete Databases. CoRRabs\/1912.11064 (2019). arXiv:1912.11064 http:\/\/arxiv.org\/abs\/1912.11064"},{"key":"e_1_3_2_1_5_1","unstructured":"Fahiem Bacchus Shannon Dalmao and Toniann Pitassi. 2003. Algorithms and Complexity Results for #SAT and Bayesian Inference. In FOCS. 340--351.  Fahiem Bacchus Shannon Dalmao and Toniann Pitassi. 2003. Algorithms and Complexity Results for #SAT and Bayesian Inference. In FOCS. 340--351."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132700"},{"key":"e_1_3_2_1_7_1","unstructured":"Roberto J. Bayardo Jr. and J. D. Pehoushek. 2000. Counting Models using Connected Components. In AAAI. 157--162.  Roberto J. Bayardo Jr. and J. D. Pehoushek. 2000. Counting Models using Connected Components. In AAAI. 157--162."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2745754.2745760"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2984632"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2010.5447744"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.STACS.2015.143"},{"key":"e_1_3_2_1_12_1","volume-title":"Open-World Probabilistic Databases. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016","author":"Ceylan Ismail Ilkan","year":"2016","unstructured":"Ismail Ilkan Ceylan , Adnan Darwiche , and Guy Van den Broeck . 2016 . Open-World Probabilistic Databases. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016 , Cape Town, South Africa, April 25--29 , 2016. 339--348. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR16\/paper\/view\/12908 Ismail Ilkan Ceylan, Adnan Darwiche, and Guy Van den Broeck. 2016. Open-World Probabilistic Databases. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25--29, 2016. 339--348. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR16\/paper\/view\/12908"},{"key":"e_1_3_2_1_13_1","volume-title":"Spiegelhalter","author":"Cowell Robert G.","year":"1999","unstructured":"Robert G. Cowell , Steffen L. Lauritzen , A. Philip David , and David J . Spiegelhalter . 1999 . Probabilistic Networks and Expert Systems. Springer-Verlag New York , Inc., Secaucus, NJ, USA. Robert G. Cowell, Steffen L. Lauritzen, A. Philip David, and David J. Spiegelhalter. 1999. Probabilistic Networks and Expert Systems. Springer-Verlag New York, Inc., Secaucus, NJ, USA."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--540--30570--5_20"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-012088469--8.50076-0"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1265530.1265531"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2395116.2395119"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Adnan Darwiche. 2001. Decomposable negation normal form. J. ACM48 4(2001) 608--647.  Adnan Darwiche. 2001. Decomposable negation normal form. J. ACM48 4(2001) 608--647.","DOI":"10.1145\/502090.502091"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.11.11-34"},{"key":"e_1_3_2_1_20_1","volume-title":"Modeling and Reasoning with Bayesian Networks","author":"Darwiche Adnan","unstructured":"Adnan Darwiche . 2009. Modeling and Reasoning with Bayesian Networks . Cambridge University Press . Adnan Darwiche. 2009. Modeling and Reasoning with Bayesian Networks. Cambridge University Press."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622810.1622817"},{"key":"e_1_3_2_1_22_1","volume-title":"A machine program for theorem-proving. Commun. ACM5, 7","author":"Davis Martin","year":"1962","unstructured":"Martin Davis , George Logemann , and Donald Loveland . 1962. A machine program for theorem-proving. Commun. ACM5, 7 ( 1962 ), 394--397. Martin Davis, George Logemann, and Donald Loveland. 1962. A machine program for theorem-proving. Commun. ACM5, 7 (1962), 394--397."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"e_1_3_2_1_24_1","volume-title":"Skolemization for Weighted First-Order Model Counting. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014","author":"den Broeck Guy Van","year":"2014","unstructured":"Guy Van den Broeck , Wannes Meert , and Adnan Darwiche . 2014 . Skolemization for Weighted First-Order Model Counting. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014 , Vienna, Austria, July 20--24 , 2014. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR14\/paper\/view\/8012 Guy Van den Broeck, Wannes Meert, and Adnan Darwiche. 2014. Skolemization for Weighted First-Order Model Counting. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20--24, 2014. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR14\/paper\/view\/8012"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1561\/1900000052"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00206ED1V01Y200907AIM007"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2877203"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019"},{"key":"e_1_3_2_1_29_1","unstructured":"Tal Friedman and Guy Van den Broeck. 2020. Symbolic Querying of Vector Spaces: Probabilistic Databases Meets Relational Embeddings. CoRRabs\/2002.10029(2020). arXiv:2002.10029 https:\/\/arxiv.org\/abs\/2002.10029  Tal Friedman and Guy Van den Broeck. 2020. Symbolic Querying of Vector Spaces: Probabilistic Databases Meets Relational Embeddings. CoRRabs\/2002.10029(2020). arXiv:2002.10029 https:\/\/arxiv.org\/abs\/2002.10029"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/239041.239045"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2532641"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735479.2735494"},{"key":"e_1_3_2_1_33_1","unstructured":"Ben Taskar Lise Getoor (Ed.). 2007.Introduction to Statistical Relational Learning (Adaptive Computation and Machine Learning).  Ben Taskar Lise Getoor (Ed.). 2007.Introduction to Statistical Relational Learning (Adaptive Computation and Machine Learning)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2005.09.016"},{"key":"e_1_3_2_1_35_1","volume-title":"Handbook of Satisfiability","author":"Gomes Carla P.","unstructured":"Carla P. Gomes , Ashish Sabharwal , and Bart Selman . 2009. Model Counting . In Handbook of Satisfiability . IOS Press , 633--654. Carla P. Gomes, Ashish Sabharwal, and Bart Selman. 2009. Model Counting. In Handbook of Satisfiability. IOS Press, 633--654."},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence, UAI 2014","author":"Gribkoff Eric","year":"2014","unstructured":"Eric Gribkoff , Guy Van den Broeck , and Dan Suciu . 2014 . Understanding the Complexity of Lifted Inference and Asymmetric Weighted Model Counting . In Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence, UAI 2014 , Quebec City, Quebec, Canada, July 23--27 , 2014. 280--289. https:\/\/dslpitt.org\/uai\/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=2463&proceeding_id=30 Eric Gribkoff, Guy Van den Broeck, and Dan Suciu. 2014. Understanding the Complexity of Lifted Inference and Asymmetric Weighted Model Counting. In Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence, UAI 2014, Quebec City, Quebec, Canada, July 23--27, 2014. 280--289. https:\/\/dslpitt.org\/uai\/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=2463&proceeding_id=30"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.14778\/2904483.2904487"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3294052.3319681"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICDT.2020.16"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1559845.1559984"},{"key":"e_1_3_2_1_41_1","unstructured":"Jinbo Huang and Adnan Darwiche. 2005. DPLL with a Trace: From SAT to Knowledge Compilation. In IJCAI. 156--162.  Jinbo Huang and Adnan Darwiche. 2005. DPLL with a Trace: From SAT to Knowledge Compilation. In IJCAI. 156--162."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.2097"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1634.1886"},{"key":"e_1_3_2_1_44_1","volume-title":"Advances in Neural Information Processing Systems 23: 24th Annual Conference on Neural Information Processing Systems 2010. Proceedings of a meeting held 6--9","author":"Jha Abhay Kumar","year":"2010","unstructured":"Abhay Kumar Jha , Vibhav Gogate , Alexandra Meliou , and Dan Suciu . 2010 . Lifted Inference Seen from the Other Side : The Tractable Features . In Advances in Neural Information Processing Systems 23: 24th Annual Conference on Neural Information Processing Systems 2010. Proceedings of a meeting held 6--9 December 2010, Vancouver, British Columbia, Canada. 973--981. http:\/\/papers.nips.cc\/paper\/4067-lifted-inference-seen-from-the-other-side-the-tractable-features Abhay Kumar Jha, Vibhav Gogate, Alexandra Meliou, and Dan Suciu. 2010. Lifted Inference Seen from the Other Side : The Tractable Features. In Advances in Neural Information Processing Systems 23: 24th Annual Conference on Neural Information Processing Systems 2010. Proceedings of a meeting held 6--9 December 2010, Vancouver, British Columbia, Canada. 973--981. http:\/\/papers.nips.cc\/paper\/4067-lifted-inference-seen-from-the-other-side-the-tractable-features"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.14778\/2350229.2350236"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-012--9392--5"},{"key":"e_1_3_2_1_47_1","unstructured":"Henry A. Kautz. 2020. The Third AI Summer. https:\/\/www.cs.rochester.edu\/u\/kautz\/talks\/Kautz%20Engelmore%20Lecture.pdf. The \"Robert S. EngelmoreMemorial Award Lecture\" at AAAI.  Henry A. Kautz. 2020. The Third AI Summer. https:\/\/www.cs.rochester.edu\/u\/kautz\/talks\/Kautz%20Engelmore%20Lecture.pdf. The \"Robert S. EngelmoreMemorial Award Lecture\" at AAAI."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--319--23540-0_6"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.3233\/978--1--61499-098--7--33"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1519103.1519115"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000566"},{"key":"e_1_3_2_1_52_1","volume-title":"Probabilistic Graphical Models - Principles and Techniques","author":"Koller Daphne","unstructured":"Daphne Koller and Nir Friedman . 2009. Probabilistic Graphical Models - Principles and Techniques . MIT Press . Daphne Koller and Nir Friedman. 2009. Probabilistic Graphical Models - Principles and Techniques. MIT Press."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/321864.321877"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--662-07003--1"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594538.2594561"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196959.3196983"},{"key":"e_1_3_2_1_57_1","volume-title":"Littman","author":"Majercik Stephen M.","year":"1998","unstructured":"Stephen M. Majercik and Michael L . Littman . 1998 . Using caching to solve larger probabilistic planning problems. In AAAI(Madison, Wisconsin, USA) . 954--959. Stephen M. Majercik and Michael L. Littman. 1998. Using caching to solve larger probabilistic planning problems. In AAAI(Madison, Wisconsin, USA). 954--959."},{"key":"e_1_3_2_1_58_1","volume-title":"Solving a Special Case of the Intensional vs Extensional Conjecture in Probabilistic Databases. CoRRabs\/1912.11864","author":"Monet Mika\u00ebl","year":"2019","unstructured":"Mika\u00ebl Monet . 2019. Solving a Special Case of the Intensional vs Extensional Conjecture in Probabilistic Databases. CoRRabs\/1912.11864 ( 2019 ). arXiv:1912.11864http:\/\/arxiv.org\/abs\/1912.11864 Mika\u00ebl Monet. 2019. Solving a Special Case of the Intensional vs Extensional Conjecture in Probabilistic Databases. CoRRabs\/1912.11864 (2019). arXiv:1912.11864http:\/\/arxiv.org\/abs\/1912.11864"},{"key":"e_1_3_2_1_59_1","volume-title":"Hsu","author":"Muise Christian","year":"2012","unstructured":"Christian Muise , Sheila A. McIlraith , J. Christopher Beck , and Eric I . Hsu . 2012 . Dsharp: fast d-DNNF compilation with sharp SAT. In Canadian AI(Toronto, ON, Canada) . 356--361. Christian Muise, Sheila A. McIlraith, J. Christopher Beck, and Eric I. Hsu. 2012. Dsharp: fast d-DNNF compilation with sharp SAT. In Canadian AI(Toronto, ON, Canada). 356--361."},{"key":"e_1_3_2_1_60_1","volume-title":"Proceedings ofthe Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31","author":"Niepert Mathias","year":"2014","unstructured":"Mathias Niepert and Guy Van den Broeck . 2014 . Tractability through Exchange-ability: A New Perspective on Efficient Probabilistic Inference . In Proceedings ofthe Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31 , 2014,Qu\u00e9bec City, Qu\u00e9bec, Canada. 2467--2475. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI14\/paper\/view\/8615 Mathias Niepert and Guy Van den Broeck. 2014. Tractability through Exchange-ability: A New Perspective on Efficient Probabilistic Inference. In Proceedings ofthe Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014,Qu\u00e9bec City, Qu\u00e9bec, Canada. 2467--2475. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI14\/paper\/view\/8615"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--540--87993-0_26"},{"key":"e_1_3_2_1_62_1","unstructured":"Judea Pearl. 1988. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann. http:\/\/www.amazon.ca\/exec\/obidos\/redirect?tag=citeulike09--20&path=ASIN\/1558604790  Judea Pearl. 1988. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann. http:\/\/www.amazon.ca\/exec\/obidos\/redirect?tag=citeulike09--20&path=ASIN\/1558604790"},{"key":"e_1_3_2_1_63_1","volume-title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","author":"Poole David","year":"2003","unstructured":"David Poole . 2003 . First-order probabilistic inference. In IJCAI-03 , Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence , Acapulco, Mexico, August 9--15 , 2003. 985--991. http:\/\/ijcai.org\/Proceedings\/03\/Papers\/142.pdf David Poole. 2003. First-order probabilistic inference. In IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9--15, 2003. 985--991. http:\/\/ijcai.org\/Proceedings\/03\/Papers\/142.pdf"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1137\/0212053"},{"key":"e_1_3_2_1_65_1","volume-title":"From Statistical Relational to Neuro-Symbolic Artificial Intelligence. CoRRabs\/2003.08316v1","author":"Raedt Luc De","year":"2020","unstructured":"Luc De Raedt , Sebastijan Dumanci?, Robin Manhaeve , and Giuseppe Marra . 2020. From Statistical Relational to Neuro-Symbolic Artificial Intelligence. CoRRabs\/2003.08316v1 ( 2020 ). arXiv:2003.08316 https:\/\/arxiv.org\/abs\/2003.08316 Luc De Raedt, Sebastijan Dumanci?, Robin Manhaeve, and Giuseppe Marra. 2020. From Statistical Relational to Neuro-Symbolic Artificial Intelligence. CoRRabs\/2003.08316v1 (2020). arXiv:2003.08316 https:\/\/arxiv.org\/abs\/2003.08316"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00692ED1V01Y201601AIM032"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.14778\/3137628.3137631"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00092-1"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699411"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICDT.2019.6"},{"key":"e_1_3_2_1_71_1","unstructured":"Tian Sang Fahiem Bacchus Paul Beame Henry A. Kautz and Toniann Pitassi. 2004. Combining Component Caching and Clause Learning for Effective Model Counting. In SAT.  Tian Sang Fahiem Bacchus Paul Beame Henry A. Kautz and Toniann Pitassi. 2004. Combining Component Caching and Clause Learning for Effective Model Counting. In SAT."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-009-0147-0"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2011.5767854"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00362ED1V01Y201105DTM016"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"crossref","unstructured":"Marc Thurley. 2006. sharpSAT: counting models with advanced component caching and implicit BCP. In SAT(Seattle WA). 424--429.  Marc Thurley. 2006. sharpSAT: counting models with advanced component caching and implicit BCP. In SAT(Seattle WA). 424--429.","DOI":"10.1007\/11814948_38"},{"key":"e_1_3_2_1_76_1","first-page":"569","article-title":"The impossibility of an algorithm for the decidability problem on finite classes","volume":"70","author":"Trakhtenbrot BA","year":"1950","unstructured":"BA Trakhtenbrot . 1950 . The impossibility of an algorithm for the decidability problem on finite classes . In Doklady AN SSR , Vol. 70. 569 -- 572 . BA Trakhtenbrot. 1950. The impossibility of an algorithm for the decidability problem on finite classes. In Doklady AN SSR, Vol. 70. 569--572.","journal-title":"Doklady AN SSR"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304--3975(79)90044--6"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1137\/0208032"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/800070.802186"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2588579"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/3060586"}],"event":{"name":"SIGMOD\/PODS '20: International Conference on Management of Data","location":"Portland OR USA","acronym":"SIGMOD\/PODS '20","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"]},"container-title":["Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3375395.3389129","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3375395.3389129","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:32:49Z","timestamp":1750185169000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3375395.3389129"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,14]]},"references-count":81,"alternative-id":["10.1145\/3375395.3389129","10.1145\/3375395"],"URL":"https:\/\/doi.org\/10.1145\/3375395.3389129","relation":{},"subject":[],"published":{"date-parts":[[2020,6,14]]},"assertion":[{"value":"2020-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}