External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Monte-Carlo Style UCT Search for Boolean Satisfiability

Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman. Monte-Carlo Style UCT Search for Boolean Satisfiability. In Roberto Pirrone, Filippo Sorbello, editors, AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings. Volume 6934 of Lecture Notes in Computer Science, pages 177-188, Springer, 2011. [doi]

Authors

Alessandro Previti

This author has not been identified. Look up 'Alessandro Previti' in Google

Raghuram Ramanujan

This author has not been identified. Look up 'Raghuram Ramanujan' in Google

Marco Schaerf

This author has not been identified. Look up 'Marco Schaerf' in Google

Bart Selman

This author has not been identified. Look up 'Bart Selman' in Google
runs on