Alessandro Previti Raghuram Ramanujan Marco Schaerf Bart Selman Applying UCT to Boolean Satisfiability. 373-374 2011 SAT http://dx.doi.org/10.1007/978-3-642-21581-0_35 conf/sat/2011 db/conf/sat/sat2011.html#PrevitiRSS11