Manzyuk, M.

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