SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers.

Gilles Audemard, Loc Paulev, Laurent Simon

Browse the full SAT paper archive.