Jun Yuan Adnan Aziz Carl Pixley Ken Albin Simplifying Boolean constraint solving for random simulation-vector generation. 412-420 2004 23 IEEE Trans. on CAD of Integrated Circuits and Systems 3 http://doi.ieeecomputersociety.org/10.1109/TCAD.2004.823348 db/journals/tcad/tcad23.html#YuanAPA04