Multi-grid cellular genetic algorithm for optimizing variable ordering of ROBDDs | IEEE Conference Publication | IEEE Xplore