Applying UCT to Boolean Satisfiability.

Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman

Browse the full SAT paper archive.