Horst Samulowitz, Chandra Reddy, Ashish Sabharwal, Meinolf Sellmann
Browse the full SAT paper archive.