Jan-Willem Roorda Koen Claessen SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation. 175-189 2006 conf/cav/2006 CAV http://dx.doi.org/10.1007/11817963_19 db/conf/cav/cav2006.html#RoordaC06