Yichen Xie Alexander Aiken Saturn: A SAT-Based Tool for Bug Detection. 139-143 2005 conf/cav/2005 CAV http://dx.doi.org/10.1007/11513988_13 db/conf/cav/cav2005.html#XieA05