Winston Haaswijk, Mathias Soeken, Alan Mishchenko, Giovanni De Micheli. SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism. IEEE Trans. on CAD of Integrated Circuits and Systems, 39(4):871-884, 2020. [doi]
@article{HaaswijkSMM20,
title = {SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism},
author = {Winston Haaswijk and Mathias Soeken and Alan Mishchenko and Giovanni De Micheli},
year = {2020},
doi = {10.1109/TCAD.2019.2897703},
url = {https://doi.org/10.1109/TCAD.2019.2897703},
researchr = {https://researchr.org/publication/HaaswijkSMM20},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {39},
number = {4},
pages = {871-884},
}