model counting

Bayes DistNet - A Robust Neural Network for Algorithm Runtime Distribution Predictions AAAI 2021 Certifying Top-Down Decision-DNNF Compilers AAAI 2021 Learning Branching Heuristics for Propositional Model Counting AAAI 2021 Symmetric Component Caching for Model Counting on Combinatorial Instances AAAI 2021 The Power of Literal Equivalence in Model Counting AAAI 2021 Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry IJCAI 2020 Belief Propagation Neural Networks NeurIPS 2020 Check before You Change: Preventing Correlated Failures in Service Updates NSDI 2020 Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms AAAI 2020 Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting AAAI 2020 Taming Discrete Integration via the Boon of Dimensionality NeurIPS 2020 Adaptive Hashing for Model Counting UAI 2019 BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting AAAI 2019 Counting Complexity for Reasoning in Abstract Argumentation AAAI 2019 Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation AAAI 2019 GANAK: A Scalable Probabilistic Exact Model Counter IJCAI 2019 On the Hardness of Probabilistic Inference Relaxations AAAI 2019 DMC: A Distributed Model Counter IJCAI 2018 Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract) IJCAI 2017 Beyond Parity Constraints: Fourier Analysis of Hash Functions for Inference ICML 2016 Low-density Parity Constraints for Hashing-Based Discrete Integration ICML 2014