From Weighted to Unweighted Model Counting
暂无分享,去创建一个
Supratik Chakraborty | Moshe Y. Vardi | Kuldeep S. Meel | Dror Fried | Dror Fried | Supratik Chakraborty
[1] Marco Gavanelli. The Log-Support Encoding of CSP into SAT , 2007, CP.
[2] Andrew McCallum,et al. Introduction to Statistical Relational Learning , 2007 .
[3] Adnan Darwiche,et al. New Advances in Compiling CNF into Decomposable Negation Normal Form , 2004, ECAI.
[4] Nir Friedman,et al. Probabilistic Graphical Models - Principles and Techniques , 2009 .
[5] 秦毅,et al. Wegener肉芽肿一例 , 2009 .
[6] Jinbo Huang. Universal Booleanization of Constraint Models , 2008, CP.
[7] Supratik Chakraborty,et al. Balancing scalability and uniformity in SAT witness generator , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).
[8] Dan Roth,et al. On the Hardness of Approximate Reasoning , 1993, IJCAI.
[9] Toby Walsh,et al. Propagation algorithms for lexicographic ordering constraints , 2006, Artif. Intell..
[10] Sanjit A. Seshia,et al. Distribution-Aware Sampling and Weighted Model Counting for SAT , 2014, AAAI.
[11] A. Pfeffer,et al. Figaro : An Object-Oriented Probabilistic Programming Language , 2009 .
[12] Adnan Darwiche,et al. Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence SDD: A New Canonical Representation of Propositional Knowledge Bases , 2022 .
[13] Adnan Darwiche,et al. Basing Decisions on Sentences in Decision Diagrams , 2012, AAAI.
[14] Ingo Wegener,et al. The Number of Knight's Tours Equals 33, 439, 123, 484, 294 - Counting with Binary Decision Diagrams , 1996, Electron. J. Comb..
[15] Marc Thurley,et al. sharpSAT - Counting Models with Advanced Component Caching and Implicit BCP , 2006, SAT.
[16] Eliezer L. Lozinskii,et al. The Good Old Davis-Putnam Procedure Helps Counting Models , 2011, J. Artif. Intell. Res..
[17] Carmel Domshlak,et al. Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting , 2007, J. Artif. Intell. Res..
[18] Jehoshua Bruck,et al. Stochastic switching circuit synthesis , 2008, 2008 IEEE International Symposium on Information Theory.
[19] Gregory F. Cooper,et al. The Computational Complexity of Probabilistic Inference Using Bayesian Belief Networks , 1990, Artif. Intell..
[20] Christian J. Muise,et al. Dsharp: Fast d-DNNF Compilation with sharpSAT , 2012, Canadian Conference on AI.
[21] Dan Suciu,et al. Efficient query evaluation on probabilistic databases , 2004, The VLDB Journal.
[22] Niklas Sörensson,et al. Translating Pseudo-Boolean Constraints into SAT , 2006, J. Satisf. Boolean Model. Comput..
[23] Toniann Pitassi,et al. Combining Component Caching and Clause Learning for Effective Model Counting , 2004, SAT.
[24] Henry A. Kautz,et al. Performing Bayesian Inference by Weighted Model Counting , 2005, AAAI.
[25] Ben Taskar,et al. Introduction to Statistical Relational Learning (Adaptive Computation and Machine Learning) , 2007 .
[26] P. Cochat,et al. Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.
[27] Adnan Darwiche,et al. On probabilistic inference by weighted model counting , 2008, Artif. Intell..
[28] Toby Walsh,et al. SAT v CSP , 2000, CP.
[29] Adnan Darwiche. Compiling Knowledge into Decomposable Negation Normal Form , 1999, IJCAI.
[30] Roberto J. Bayardo,et al. Using CSP Look-Back Techniques to Solve Real-World SAT Instances , 1997, AAAI/IAAI.
[31] Adnan Darwiche,et al. Dynamic Minimization of Sentential Decision Diagrams , 2013, AAAI.
[32] Leslie G. Valiant,et al. The Complexity of Enumeration and Reliability Problems , 1979, SIAM J. Comput..