Adaptive variable reordering for symbolic model checking
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
The nonapproximability of OBDD minimization
Information and Computation
Ordered binary decision diagrams
Logic Synthesis and Verification
Data structures for Boolean functions
Computational Discrete Mathematics
The complexity of minimizing and learning OBDDs and FBDDs
Discrete Applied Mathematics
The Complexity of Minimizing FBDDs
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Approximations by OBDDs and the Variable Ordering Problem
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
New Bounds on the OBDD-Size of Integer Multiplication via Universal Hashing
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Algorithms and heuristics in VLSI design
Experimental algorithmics
BDDs: design, analysis, complexity, and applications
Discrete Applied Mathematics - Optimal discrete structure and algorithms (ODSA 2000)
On the influence of the variable ordering for algorithmic learning using OBDDs
Information and Computation
Bounds on the OBDD-size of integer multiplication via universal hashing
Journal of Computer and System Sciences
BDDs-design, analysis, complexity, and applications
Discrete Applied Mathematics
On the influence of the variable ordering for algorithmic learning using OBDDs
Information and Computation
On population size and neutrality: facilitating the evolution of evolvability
EuroGP'07 Proceedings of the 10th European conference on Genetic programming
Evolvability via modularity-induced mutational focussing
EuroGP'08 Proceedings of the 11th European conference on Genetic programming
Evolving binary decision diagrams with emergent variable orderings
PPSN'06 Proceedings of the 9th international conference on Parallel Problem Solving from Nature
Hi-index | 0.00 |