Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sbastien Tabary
Browse the full SAT paper archive.