Static Segregative Genetic Algorithm for Optimizing Variable Ordering of ROBDDs.

Octav Brudaru, Cristian Rotaru, Iulian Marius Furdu

Browse the full SYNASC paper archive.