Navigation Navigation

Blogs (Start) Blogs (Start)

Back

Siberian branch of RAS to launch SAT@home

The Siberian branch of the Russian Academy of Sciences (RAS) has successfully launched SAT@home. SAT@home is a research project that uses Internet-connected computers to solve difficult and practically relevant problems, such as discrete functions inversion problems, discrete optimization, bioinformatics, etc., that can be effectively reduced to satisfiability (SAT). Satisfiability is the problem of determining if the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to TRUE. Currently in the project problems of inversion of some cryptographic functions used in keystream generators are being solved. All cryptographic algorithms under investigation are publicly available. The team also plan to publish obtained results. In the nearest future the team is going to launch an experiment for solving the Quadratic Assignment problem as a SAT problem within the project. The project was implemented using DC-API. More information is available at http://sat.isa.ru/pdsat/