Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey
Browse the full SAT paper archive.