Back
Zaikin, Oleg
Institute for System Dynamics and Control Theory of SB RAS
http://www.idstu.irk.ru
Russia, 664033, Иркутск , 134, Lermontov Str. box 1233
Phone: +7(395-2) 42-71-00, Fax: +7(395-2) 51-16-16
Report
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
*
Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences (Иркутск ), Russia
**
Institute for System Dynamics and Control Theory of SB RAS (Иркутск ), Russia
To participants list