Multi-Objective BDD Optimization with Evolutionary Algorithms

Saeideh Shirinzadeh, Mathias Soeken, Rolf Drechsler. Multi-Objective BDD Optimization with Evolutionary Algorithms. In Juan Luis Jiménez Laredo, Sara Silva, Anna Isabel Esparcia-Alcázar, editors, Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid, Spain, July 11-15, 2015. pages 751-758, ACM, 2015. [doi]

@inproceedings{ShirinzadehSD15,
  title = {Multi-Objective BDD Optimization with Evolutionary Algorithms},
  author = {Saeideh Shirinzadeh and Mathias Soeken and Rolf Drechsler},
  year = {2015},
  doi = {10.1145/2739480.2754718},
  url = {http://doi.acm.org/10.1145/2739480.2754718},
  researchr = {https://researchr.org/publication/ShirinzadehSD15},
  cites = {0},
  citedby = {0},
  pages = {751-758},
  booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid, Spain, July 11-15, 2015},
  editor = {Juan Luis Jiménez Laredo and Sara Silva and Anna Isabel Esparcia-Alcázar},
  publisher = {ACM},
  isbn = {978-1-4503-3472-3},
}