Multi-grid cellular genetic algorithm for optimizing variable ordering of ROBDDs

Cristian Rotaru, Octav Brudaru. Multi-grid cellular genetic algorithm for optimizing variable ordering of ROBDDs. In Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2012, Brisbane, Australia, June 10-15, 2012. pages 1-8, IEEE, 2012. [doi]

Abstract

Abstract is missing.