Kochemazov, S.
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