Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Finding the Optimal Variable Ordering for Binary Decision Diagrams
IEEE Transactions on Computers
Efficient implementation of a BDD package
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Shared binary decision diagram with attributed edges for efficient Boolean function manipulation
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Functional calculations using ordered partial multidecision diagrams
Functional calculations using ordered partial multidecision diagrams
Fast functional evaluation of candidate OBDD variable orderings
EURO-DAC '91 Proceedings of the conference on European design automation
Edge-valued binary decision diagrams for multi-level hierarchical verification
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Functional approaches to generating orderings for efficient symbolic representations
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Combinational logic synthesis for LUT based field programmable gate arrays
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Improving the Variable Ordering of OBDDs Is NP-Complete
IEEE Transactions on Computers
Solving Boolean Equations Using ROSOP Forms
IEEE Transactions on Computers
OBDD Minimization Based on Two-Level Representation of Boolean Functions
IEEE Transactions on Computers
The nonapproximability of OBDD minimization
Information and Computation
Efficient Boolean Manipulation with OBDD's Can be Extended to FBDD's
IEEE Transactions on Computers
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
KNOW Why your access was denied: regulating feedback for usable security
Proceedings of the 11th ACM conference on Computer and communications security
Handling Large Formal Context Using BDD --- Perspectives and Limitations
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Learning to order BDD variables in verification
Journal of Artificial Intelligence Research
Dynamic segregative genetic algorithm for optimizing the variable ordering of ROBDDs
Proceedings of the 14th annual conference on Genetic and evolutionary computation
| Hi-index | 0.01 |