Bernhard Gstrein, Florian Pollitt, Andr Schidler, Mathias Fleury, Armin Biere
Browse the full SAT paper archive.