Back
Semenov, A.
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