Lingeling, plingeling, picosat and precosat at SAT race 2010, FMV Reports Series, issue.1, 2010. ,
ManySAT: a parallel SAT solver, Journal on Satisfiability Boolean Modeling and Computation, vol.6, pp.245-262, 2009. ,
SArTagnan: solver description, 2010. ,
Antom: solver description, 2010. ,