Dynamic segregative genetic algorithm for optimizing the variable ordering of ROBDDs.

Cristian Rotaru, Octav Brudaru

Browse the full GECCO paper archive.