conftrace_

binary decision diagram

22 papers

Explore in graph

Also known as

BDD

Co-occurring keywords

boolean function (44) combinatorial optimization (1039) decision diagram (19) explainable artificial intelligence (130) contrastive explanation (26) sat solver (78) knowledge compilation (40) integer linear programming (114) model interpretability (519) explainable ai (480)

Papers

BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning AAAI 2026
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
Operator-Potential Heuristics for Symbolic Search AAAI 2022
The Good, the Bad, and the Explainer: A Tool for Contrastive Explanations of Text Classifiers IJCAI 2022
FastDOG: Fast Discrete Optimization on GPU CVPR 2022
Contrastive Explanations of Text Classifiers as a Service NAACL 2022
Optimizing Binary Decision Diagrams with MaxSAT for Classification AAAI 2022
On Continuous Local BDD-Based Search for Hybrid SAT Solving AAAI 2021
Efficient Message Passing for 0–1 ILPs with Binary Decision Diagrams ICML 2021
Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings AAAI 2021
The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits AAAI 2021
Stochastic Constraint Propagation for Mining Probabilistic Networks IJCAI 2019
Group Decision Diagram (GDD): A Compact Representation for Permutations AAAI 2019
Enumerating Potential Maximal Cliques via SAT and ASP IJCAI 2019
Efficient Bandit Combinatorial Optimization Algorithm with Zero-suppressed Binary Decision Diagrams AISTATS 2018
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract) IJCAI 2017
Solving Stochastic Boolean Satisfiability under Random-Exist Quantification IJCAI 2017
A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract) 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