Reports about SAT@home on the PaCT'2015 and BOINC:FAST'2015 conferences
Report about searching decompoisitions for solving hard SAT instances in SAT@home was presented on the 13th international conference on Parallel Computing Technologies (PaCT'2015). Also 3 reports were presented on the conference BOINC: Fundamental & Applied Science & Technology (BOINC:FAST 2015). The 1st one was devoted to searching of systems of Latin squares in SAT@home, in the 2nd solving weakened cryptanalysis problems of the Bivium cipher in SAT@home was considered, and in the 3rd one new version of CluBORun - a tool for utilizing idle resources of computing clusters in the BOINC-based volunteer computing projects, - was presented.

?????? ??? ????? ???????????? ??? ??????? ? SAT@home ??????? ??????????? SAT-????? ??? ??????????? ?? ?????????? 13th international conference on Parallel Computing Technologies (PaCT'2015). ????? 3 ??????? ???? ??????? ?? ?????????? BOINC: Fundamental & Applied Science & Technology (BOINC:FAST 2015). ?????? ?? ??? ??? ???????? ?????? ?????? ????????? ????????? ? SAT@home, ?? ?????? ??????? ???? ??????????? ??????? ??????????? ????? ????????????? ? SAT@home, ? ? ??????? ??????? ???? ????????????? ????? ?????? CluBORun - ???????????? ???????? ??? ????????????? ????????????? ???????? ?????????????? ????????? ? ???????? ???????????? ??????????, ?????????? ?? BOINC.

More...