A. Biere, Lingeling, plingeling, picosat and precosat at SAT race 2010, FMV Reports Series, issue.1, 2010.

Y. Hamadi, S. Jabbour, and L. Sais, ManySAT: a parallel SAT solver, Journal on Satisfiability Boolean Modeling and Computation, vol.6, pp.245-262, 2009.

S. Kottler, SArTagnan: solver description, 2010.

T. Schubert, M. Lewis, and B. Becker, Antom: solver description, 2010.