knowledge compilation

LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work IJCAI 2022 Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings AAAI 2021 Certifying Top-Down Decision-DNNF Compilers AAAI 2021 Faster lifting for two-variable logic using cell graphs UAI 2021 The Power of Literal Equivalence in Model Counting AAAI 2021 Weighted model counting with conditional weights for Bayesian networks UAI 2021 Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs AAAI 2020 Efficient Generation of Structured Objects with Constrained Adversarial Networks NeurIPS 2020 Lower Bounds for Approximate Knowledge Compilation IJCAI 2020 Switch-List Representations in a Knowledge Compilation Map IJCAI 2020 Evaluating the Interpretability of the Knowledge Compilation Map: Communicating Logical Statements Effectively IJCAI 2019 Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation AAAI 2019 On Relating Explanations and Adversarial Examples NeurIPS 2019 Approximate Knowledge Compilation by Online Collapsed Importance Sampling NeurIPS 2018 Parallel Probabilistic Inference by Weighted Model Counting PGM 2018 An Improved Decision-DNNF Compiler IJCAI 2017 On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference NeurIPS 2011 Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation NeurIPS 2008