Binary Decision Diagrams

Cited in

(only showing first 100 items - show all)

Forms of representation for simple games: sizes, conversions and equivalences
Size of ordered binary decision diagrams representing threshold functions
Nonblocking supervisory control of state-tree structures with event forcing
A novel graphical technique for combinational logic representation and optimization
Minimizing binary decision diagrams for systems of incompletely defined Boolean functions using algebraic cofactor expansions
Chordal networks of polynomial ideals
A branch-and-price algorithm for parallel machine scheduling using ZDDs and generic branching
Incorporating bounds from decision diagrams into integer programming
Lagrangian bounds from decision diagrams
Graph coloring lower bounds from decision diagrams
Gate-delay-fault testability properties of multiplexor-based networks
Probabilistic verification of Boolean functions
Minimization of binary decision diagrams for systems of incompletely defined Boolean functions
On the computational power of binary decision diagram with redundant variables.
On-the-fly informed search of non-blocking directed controllers
Towards Parallel Boolean Functional Synthesis
Populational announcement logic (PPAL)
Size of OBDD representation of 2-level redundancies functions
Functional test generation using binary decision diagrams
Meanings of model checking
Equivalence of free Boolean graphs can be decided probabilistically in polynomial time
Synthesis for testability: Binary Decision Diagrams
The computational complexity of understanding binary classifier decisions
Characteristics of the maximal independent set ZDD
Implementing efficient All solutions SAT solvers
Model predictive scheduling of semi-cyclic discrete-event systems using switching max-plus linear models and dynamic graphs
Aspmc: new frontiers of algebraic answer set counting
On the complexity of analysis and manipulation of Boolean functions in terms of decision graphs
State-set branching: leveraging BDDs for heuristic search
Groebner bases based verification solution for SystemVerilog concurrent assertions
Technology mapping of multi-output functions leading to the reduction of dynamic power consumption in FPGAs
Constraint programming and operations research
Decision diagrams for solving a job scheduling problem under precedence constraints
Extracting co-occurrence relations from ZDDs
Constraint-based probabilistic modeling for statistical abduction
Modular supervisory control and coordination of state tree structures
MDDs boost equation solving on discrete dynamical systems
A binary decision diagram based algorithm for solving a class of binary two-stage stochastic programs
Graph coloring with decision diagrams
A lightweight access control scheme supporting policy hidden based on path bloom filter
On propositional definability
Reasoning with ordered binary decision diagrams
Integrated integer programming and decision diagram search tree with an application to the maximum independent set problem
Hardness of indentifying the minimum ordered binary decision diagram
Efficient data structures for Boolean functions
On finding the optimal BDD relaxation
Algebraic decomposition of discrete functions
A new algorithm for partitioned symbolic reachability analysis
Optimization Bounds from Binary Decision Diagrams
Reduced state space representation for unbounded vector state spaces
Rank-based symbolic bisimulation: (and model checking)
Compact representation of near-optimal integer programming solutions
A feature selection strategy using Markov clustering, for the optimization of brain tumor segmentation from MRI data
Data structures for symbolic multi-valued model-checking
Target cuts from relaxed decision diagrams
Parallel Machine Scheduling Under Uncertainty: Models and Exact Algorithms
Symbolic observation graph-based generation of test paths
BDD-based symbolic model checking
Hierarchical differential evolution for minimal cut sets identification: application to nuclear safety systems
On the error resilience of ordered binary decision diagrams
Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications
Formal verification based on Boolean expression diagrams
Quantitative fault injection analysis
Computation of signal output probability for Boolean functions represented by OBDD
Graph driven BDDs -- a new data structure for Boolean functions
A framework for memory efficient context-sensitive program analysis
Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools
Computing the Tutte polynomial of a graph of moderate size
Transfer of model checking to industrial practice
A theoretical and numerical analysis of the worst-case size of reduced ordered binary decision diagrams
Compressed data structures for bi-objective \(\{0,1\}\)-knapsack problems
Binary decision diagrams
Probabilistic abductive logic programming using Dirichlet priors
On the size of binary decision diagrams representing Boolean functions
Reduction of OBDDs in linear time
Linear temporal logic symbolic model checking
The Multi-SAT algorithm
A novel OBDD-based reliability evaluation algorithm for wireless sensor networks on the multicast model
On the relation between BDDs and FDDs (extended abstract)
A survey on compositional algorithms for verification and synthesis in supervisory control
Cooperation through social influence
Tractable representations for Boolean functional synthesis
Non-clausal redundancy properties
Decision Diagrams for Discrete Optimization: A Survey of Recent Advances
Discrete optimization with decision diagrams
Fifty Years of Prolog and Beyond
SCIP: solving constraint integer programs
Solving the pricing problem in a branch-and-price algorithm for graph coloring using zero-suppressed binary decision diagrams
Decomposition of systems of Boolean functions determined by binary decision diagrams
Ordered binary decision diagrams as knowledge-bases
Estimating the volume of solution space for satisfiability modulo linear real arithmetic
Verifying Fairness in Quantum Machine Learning
Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes
Migrating gradual types
Handling high dimensionality contexts in formal concept analysis via binary decision diagrams
On the structure of counterexamples to symmetric orderings for BDD's
Vectorized symbolic model checking of computation tree logic for sequential machine verification
SILVER -- statistical independence and leakage verification
Learning hierarchical probabilistic logic programs
Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram

This page was built for publication: Binary Decision Diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4156322)