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]


No references recorded for this publication.

Cited by

No citations of this publication recorded.