binary decision diagram

BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning AAAI 2026 Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms ICML 2025 NDD: A Decision Diagram for Network Verification NSDI 2025 A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs IJCAI 2024 Compilation and Fast Model Counting beyond CNF IJCAI 2024 Contrastive Explanations of Text Classifiers as a Service NAACL 2022 FastDOG: Fast Discrete Optimization on GPU CVPR 2022 Operator-Potential Heuristics for Symbolic Search AAAI 2022 Optimizing Binary Decision Diagrams with MaxSAT for Classification AAAI 2022 The Good, the Bad, and the Explainer: A Tool for Contrastive Explanations of Text Classifiers IJCAI 2022 Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings AAAI 2021 Efficient Message Passing for 0–1 ILPs with Binary Decision Diagrams ICML 2021 On Continuous Local BDD-Based Search for Hybrid SAT Solving AAAI 2021 The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits AAAI 2021 Enumerating Potential Maximal Cliques via SAT and ASP IJCAI 2019 Group Decision Diagram (GDD): A Compact Representation for Permutations AAAI 2019 Stochastic Constraint Propagation for Mining Probabilistic Networks IJCAI 2019 Efficient Bandit Combinatorial Optimization Algorithm with Zero-suppressed Binary Decision Diagrams AISTATS 2018 A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract) IJCAI 2017 New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract) IJCAI 2017 Solving Stochastic Boolean Satisfiability under Random-Exist Quantification IJCAI 2017 Saving Evaluation Time for the Decision Function in Boosting: Representation and Reordering Base Learner ICML 2013 An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models ACML 2010