PDA

View Full Version : SAT: I solved one!



zombie67
12-26-11, 12:55 PM
http://sat.isa.ru/pdsat/index.php


In the current experimet 2 SAT problems (from 10) were solved.
Solution of SAT problem # 2 was found in WU 272110 by zombie67 [MM] from SETI.USA.
New vertion of server application released. Generation of tasks now is performed gradually.

coronicus
12-26-11, 01:32 PM
WOOT \:D/ Grats \m/

Crazybob
12-26-11, 01:56 PM
Congrats!:D

Fire$torm
12-26-11, 05:51 PM
Very Cool stuff. Good job z.

Mike029
12-26-11, 11:41 PM
That is Awesome!!!! Congrats Big Z!!