Luca Gaetano Amarù, Mathias Soeken, Patrick Vuillod, Jiong Luo, Alan Mishchenko, Janet Olson, Robert K. Brayton, Giovanni De Micheli
Improvements to boolean resynthesis
DATE, 2018.
@inproceedings{DATE-2018-AmaruSVLMOBM,
author = "Luca Gaetano Amarù and Mathias Soeken and Patrick Vuillod and Jiong Luo and Alan Mishchenko and Janet Olson and Robert K. Brayton and Giovanni De Micheli",
booktitle = "{Proceedings of the 22nd Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.23919/DATE.2018.8342108",
isbn = "978-3-9819263-0-9",
pages = "755--760",
publisher = "{IEEE}",
title = "{Improvements to boolean resynthesis}",
year = 2018,
}
