Jun Yuan, Adnan Aziz, Carl Pixley, Ken Albin. Simplifying Boolean constraint solving for random simulation-vector generation. IEEE Trans. on CAD of Integrated Circuits and Systems, 23(3):412-420, 2004. [doi]
@article{YuanAPA04,
title = {Simplifying Boolean constraint solving for random simulation-vector generation},
author = {Jun Yuan and Adnan Aziz and Carl Pixley and Ken Albin},
year = {2004},
doi = {10.1109/TCAD.2004.823348},
url = {http://doi.ieeecomputersociety.org/10.1109/TCAD.2004.823348},
tags = {constraints},
researchr = {https://researchr.org/publication/YuanAPA04},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {23},
number = {3},
pages = {412-420},
}