← Back to papers

2016 IJCAI IJCAI 2016

Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls

Authors

Supratik Chakraborty , Kuldeep S. Meel , Moshe Y. Vardi

Related papers

Unsupervised Feature Learning from Time Series 2016

Neural Generative Question Answering 2016

∃-STRIPS: Existential Quantification in Planning and Constraint Satisfaction 2016

Unsupervised Learning on Neural Network Outputs: With Application in Zero-Shot Learning 2016

Belief Update for Proper Epistemic Knowledge Bases 2016