#1 10-10-2011 16:51:21

Damien
Prince of Flood
Date d'inscription: 23-05-2009
Messages: 2157

Parallel and Distrubuted SAT Solver

Projet BOINC portant sur le problème SAT qui est "un problème de décision visant à savoir s'il existe une solution à une série d'équations logiques données".

L'adresse pour s'inscrire:
http://sat.isa.ru/pdsat/

l'AF:
http://sat.isa.ru/pdsat/team_display.php?teamid=4

État des serveurs. Applications disponibles.

EDIT: le nouveau nom de ce projet est SAT@home

Dernière modification par Damien (13-10-2011 11:53:01)


http://statseb.boinc-af.org/signature.py?cpid=e0e2727fa560e6a5151e797a0600ee64

Hors ligne

 

#2 10-10-2011 17:46:44

Polynesia
Administrateur
Lieu: Alençon
Âge: 46
Date d'inscription: 26-05-2010
Messages: 2501
Site web

Re: Parallel and Distrubuted SAT Solver

Merci de l'info...

Encore une projet comme distRTgen ?

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.


http://goo.gl/pY0Zp * PRPNet (PSA): 3 716 000 + 47 primes

Hors ligne

 

#3 10-10-2011 18:20:27

Damien
Prince of Flood
Date d'inscription: 23-05-2009
Messages: 2157

Re: Parallel and Distrubuted SAT Solver

yikes


http://statseb.boinc-af.org/signature.py?cpid=e0e2727fa560e6a5151e797a0600ee64

Hors ligne

 

Pied de page des forums

Propulsé par FluxBB
Traduction par FluxBB.fr