Multi-Objective BDD Optimization with Evolutionary Algorithms

@inproceedings{pub7685,
    author = {

Shirinzadeh, Saeideh
 and 

Soeken, Mathias
 and 

Drechsler, Rolf
},
    title = {Multi-Objective BDD Optimization with Evolutionary Algorithms},
    booktitle = {Genetic and Evolutionary Computation Conference. Genetic and Evolutionary Computation Conference (GECCO), A recombination of the 24th International Conference on Genetic Algorithms (ICGA) and the 20th Annual Genetic Programming Conference (GP), July 11-15, Madrid, Spain},
    year = {2015}
}