Madhu K. Iyer Ganapathy Parthasarathy Kwang-Ting Cheng SATORI - A Fast Sequential SAT Engine for Circuits. 320-325 2003 conf/iccad/2003 ICCAD http://doi.acm.org/10.1145/996070.1009909 db/conf/iccad/iccad2003.html#IyerPC03