Applying UCT to Boolean Satisfiability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Alessandro Previti' in GoogleThis author has not been identified. Look up 'Raghuram Ramanujan' in GoogleThis author has not been identified. Look up 'Marco Schaerf' in GoogleThis author has not been identified. Look up 'Bart Selman' in Google

runs on WebDSL