decision diagram

A Knowledge Compilation Map for Quantum Information AAAI 2026 Proof Systems That Tightly Characterise Model Counting Algorithms AAAI 2026 A graphical global optimization framework for parameter estimation of statistical models with nonconvex regularization functions AISTATS 2025 On the Modelling of Constraints with Tractable Logical Operators AAAI 2025 Balancing Computational Cost and Accuracy in Inference of Continuous Bayesian Networks PGM 2024 Structured d-DNNF Is Not Closed under Negation IJCAI 2024 Using Clustering to Strengthen Decision Diagram Bounds for Discrete Optimization AAAI 2024 Optimal Decision Diagrams for Classification AAAI 2023 Constraint Reasoning Embedded Structured Prediction JMLR 2022 Large Neighborhood Search with Decision Diagrams IJCAI 2022 Differentiable Equilibrium Computation with Decision Diagrams for Stackelberg Models of Combinatorial Congestion Games NeurIPS 2021 The Power of Literal Equivalence in Model Counting AAAI 2021 Ddo, a Generic and Efficient Framework for MDD-Based Optimization IJCAI 2020 Practical Frank–Wolfe Method with Decision Diagrams for Computing Wardrop Equilibrium of Combinatorial Congestion Games AAAI 2020 Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions AAAI 2019 Constraint-Based Sequential Pattern Mining with Decision Diagrams AAAI 2019 Group Decision Diagram (GDD): A Compact Representation for Permutations AAAI 2019 Improving Optimization Bounds Using Machine Learning: Decision Diagrams Meet Deep Reinforcement Learning AAAI 2019 A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract) IJCAI 2017 An efficient query learning algorithm for zero-suppressed binary decision diagrams ALT 2017 Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems IJCAI 2017