Matthew D. T. Lewis Tobias Schubert Bernd Becker Speedup Techniques Utilized in Modern SAT Solvers. 437-443 2005 conf/sat/2005 SAT http://dx.doi.org/10.1007/11499107_36 db/conf/sat/sat2005.html#LewisSB05