Bychkov I.V.   Kochemazov S.   Manzyuk M.   Otpuschennikov I.   Posypkin M.   Semenov A.   Zaikin O.  

Solving Hard SAT Instances in Volunteer Computing Project SAT@home

Reporter: Zaikin O.