Mathias Soeken, Winston Haaswijk, Eleonora Testa, Alan Mishchenko, Luca Gaetano Amarù, Robert K. Brayton, Giovanni De Micheli
Practical exact synthesis
DATE, 2018.
@inproceedings{DATE-2018-SoekenHTMABM,
author = "Mathias Soeken and Winston Haaswijk and Eleonora Testa and Alan Mishchenko and Luca Gaetano Amarù 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.8342027",
isbn = "978-3-9819263-0-9",
pages = "309--314",
publisher = "{IEEE}",
title = "{Practical exact synthesis}",
year = 2018,
}
