Nell'attuale esperimento, una soluzione al problema SAT #8 รจ stata trovata da eLPeCKo e koll del Czech National team.
Il 28 marzo presenteranno un report su SAT@home alla conferenza Parallel Computational Technologies, Novosibirsk, Sezione C.
Nell'attuale esperimento, una soluzione al problema SAT #8 รจ stata trovata da eLPeCKo e koll del Czech National team.
Il 28 marzo presenteranno un report su SAT@home alla conferenza Parallel Computational Technologies, Novosibirsk, Sezione C.