EasyChair Smart Slide
Scalable SAT Solving in the Cloud
Scalable SAT Solving in the Cloud