Parallel and Distrubuted SAT Solver

[AL]

Właśnie znalazłem nowy projekcik naszych wschodnich braci:

Parallel and Distrubuted SAT Solver

Kod [Zaznacz] Rozwiń

http://sat.isa.ru/pdsat/index.php

PDSAT is a research project that uses Internet-connected computers to solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to SAT. 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. Corresponding tasks are randomly generated and do not contain any confidential information. We also plan to publish obtained results. In the nearest future we are going to launch an experiment for solving Quadratic Assignment problem (hard optimization problem) within the project.

PDSAT is based at
Institute for Systems Analysis of Russian Academy of Sciences, department of Distributed Computing - a founding member of the International Desktop Grid Federation
Institue for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Science, laboratory of Discrete Analysis and Applied Logic
For communication please use the oleg.zaikin :: at :: icc {dot} ru address.

No i drużynka oczywiście:

Kod [Zaznacz] Rozwiń

http://sat.isa.ru/pdsat/team_display.php?teamid=12

[Troll81]

Dopięty

[Tomasz R. Gwiazda]

niezawodny AL  :parrrty:

[aborek]

Też się podpiąłem :D

[matszpk]

bardzo ciekawe  8). swego czasu napisałem prosty SAT Solver (program do rozwiązywania tego typu problemów) i nawet z pewnym doktorkiem napisałem nawet o tym artykuł (o nowoczesnych algorytmach rozwiązywania tego typu problemów). Problem SAT jest rodem z algebry boole'a i elektroniki. sat solvery wykorzystuje się np.: do sprawdzania układów logicznych  :book:.
zaraz się podpinam....

[Agbar]

I'm in. 8)

[krzyszp]

Dopisany do serwera statystyk

[Troll81]

Projekt już obecny na Boincstats

[tito]

Experiment aimed at finding triple of MOLS will be launched soon.

29go zostało zakończone rozsyłanie próbek. Nowy pod projekt ma niedługo wystartować.
http://sat.isa.ru/pdsat/

[tito]

Nowy eksperyment rozpoczęty.

[Troll81]

Dzięki za info  :parrrty:

[Ufol]

Czy mógłby ktoś po ludzku napisać, do czego ten projekt przydać się może, wydaje mi się ciekawy, lecz cholernie mało w nim pojmuję. W dniach 8-15 lipca odbędzie się wyścig dedykowany aplikacji 64 bitowej, zakładać odpowiedni wątek?

[Dario666]

Wczoraj przez przypadek zauważyłem, że jest nowy podprojekt "PD-SAT for cryptology" od 21.02.2014 r. Jednak to jest Ruski projekt, więc nie polecam tego liczyć  %)