Applying UCT to Boolean Satisfiability

Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman. Applying UCT to Boolean Satisfiability. In Karem A. Sakallah, Laurent Simon, editors, Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings. Volume 6695 of Lecture Notes in Computer Science, pages 373-374, Springer, 2011. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: