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]

@inproceedings{PrevitiRSS11,
  title = {Applying UCT to Boolean Satisfiability},
  author = {Alessandro Previti and Raghuram Ramanujan and Marco Schaerf and Bart Selman},
  year = {2011},
  doi = {10.1007/978-3-642-21581-0_35},
  url = {http://dx.doi.org/10.1007/978-3-642-21581-0_35},
  researchr = {https://researchr.org/publication/PrevitiRSS11},
  cites = {0},
  citedby = {0},
  pages = {373-374},
  booktitle = {Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings},
  editor = {Karem A. Sakallah and Laurent Simon},
  volume = {6695},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-21580-3},
}