Ohad Shacham Emmanuel Zarpas Tuning the VSIDS Decision Heuristic for Bounded Model Checking. 75- 2003 conf/mtv/2003 MTV http://csdl.computer.org/comp/proceedings/mtv/2003/2045/00/20450075abs.htm db/conf/mtv/mtv2003.html#ShachamZ03