Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
Improving the Variable Ordering of OBDDs Is NP-Complete
IEEE Transactions on Computers
Dynamic variable ordering for ordered binary decision diagrams
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Evolution of Binary Decision Diagrams for Digital Circuit Design Using Genetic Programming
ICES '96 Proceedings of the First International Conference on Evolvable Systems: From Biology to Hardware
Distributed Hybrid Genetic Programming for Learning Boolean Functions
PPSN VI Proceedings of the 6th International Conference on Parallel Problem Solving from Nature
Approximations by OBDDs and the Variable Ordering Problem
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
On the Existence of Polynomial Time Approximation Schemes for OBDD Minimization (Extended Abstract)
STACS '98 Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science
IEEE Transactions on Computers
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
| Hi-index | 0.00 |
Binary Decision Diagrams (BDDs) have become the data structure of choice for representing discrete functions in some design and verification applications: They are compact and efficient to manipulate with strong theoretical underpinnings. However, and despite many appealing characteristics, BDDs are not a representation commonly considered for evolutionary computation (EC). The inherent difficulties associated with evolving graphs combined with the variable ordering problem poses a significant challenge which is yet to be overcome. This work addresses this challenge and presents a new approach to evolving BDDs that exhibits good variable orderings as an emergent property.