Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
Browse the full SAT paper archive.