Sean Safarpour, Andreas G. Veneris, Rolf Drechsler. Integrating observability don t cares in all-solution SAT solvers. In International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece. IEEE, 2006. [doi]
@inproceedings{SafarpourVD06,
title = {Integrating observability don t cares in all-solution SAT solvers},
author = {Sean Safarpour and Andreas G. Veneris and Rolf Drechsler},
year = {2006},
doi = {10.1109/ISCAS.2006.1692903},
url = {http://dx.doi.org/10.1109/ISCAS.2006.1692903},
researchr = {https://researchr.org/publication/SafarpourVD06},
cites = {0},
citedby = {0},
booktitle = {International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece},
publisher = {IEEE},
}