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