Ana Petkovska, Alan Mishchenko, David Novo, Muhsen Owaida, Paolo Ienne. Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver. In André Inácio Reis, Rolf Drechsler, editors, Advanced Logic Synthesis. pages 169-188, Springer, 2018. [doi]
@incollection{PetkovskaMNOI18,
title = {Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver},
author = {Ana Petkovska and Alan Mishchenko and David Novo and Muhsen Owaida and Paolo Ienne},
year = {2018},
doi = {10.1007/978-3-319-67295-3_8},
url = {https://doi.org/10.1007/978-3-319-67295-3_8},
researchr = {https://researchr.org/publication/PetkovskaMNOI18},
cites = {0},
citedby = {0},
pages = {169-188},
booktitle = {Advanced Logic Synthesis},
editor = {André Inácio Reis and Rolf Drechsler},
publisher = {Springer},
isbn = {978-3-319-67294-6},
}