| View previous topic :: View next topic |
| Author |
Message |
John Galt 007
Prince
Joined: 31 Dec 2007
Posts: 1206
Location: Wisconsin
|
 Posted: Wed Oct 26, 2011 7:31 am Post subject: New project....SAT@Home |
 |
|
http://sat.isa.ru/pdsat/team_display.php?teamid=77
Team created.....
About SAT@home
SAT@home 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 Boolean satisfiability problem. Currently in the project problems of inversion of some cryptographic functions used in stream ciphers 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 (as a SAT problem) within the project. Project was implemented using DC-API library.
_________________
http://stephenbrooks.org/muon1/banner.php?user=[KWSN]John%20Galt%20007
http://stats.free-dc.org/mosttag.php?cpid=f7e8c5dfbccfce7e6054e7a84c151aa4&theme=4.png
( • )Y( • ) |
|
| Back to top |
|
 |
Gemjunkie
Prince
Joined: 03 Jul 2010
Posts: 3519
Location: Earth, lately
|
| Posted: Wed Oct 26, 2011 8:03 am Post subject: |
|
|
I should be good at this, I sat@home for years. 
p.s. I just noticed the 10th digit, Congrats!!!
 
_________________
(older, before split CPID)
 |
|
| Back to top |
|
|
John Galt 007
Prince
Joined: 31 Dec 2007
Posts: 1206
Location: Wisconsin
|
|
| Back to top |
|
|
PhastPhred
Prince
Joined: 22 Mar 2006
Posts: 6017
Location: Northwest AR (USA)
|
| Posted: Wed Oct 26, 2011 8:50 am Post subject: |
|
|
Created an Acct, and found Team - No link to Join tho...
Must need a completed WU done or something...
| Quote: | Cheating detected
October 25, 2011, 18:28 GMT
Cheating with credits was detected and manually fixed. In new version of server application it will be forbidden in standart way. |
 And I just STARTED!!
_________________
 |
|
| Back to top |
|
|
Gemjunkie
Prince
Joined: 03 Jul 2010
Posts: 3519
Location: Earth, lately
|
| Posted: Fri Nov 04, 2011 7:47 am Post subject: |
|
|
_________________
(older, before split CPID)
|
|
| Back to top |
|
|
Grizzly
Prince
Joined: 01 Jun 2002
Posts: 3136
Location: Creepy (Crawlley)
|
| Posted: Fri Nov 04, 2011 12:34 pm Post subject: |
|
|
| PhastPhred wrote: | Created an Acct, and found Team - No link to Join tho...
Must need a completed WU done or something...
| Quote: | Cheating detected
October 25, 2011, 18:28 GMT
Cheating with credits was detected and manually fixed. In new version of server application it will be forbidden in standart way. |
And I just STARTED!! |
Hmmm , must be a"LURKER" fixer .
regds grizz
_________________
Oh Bugger Forgot again - or is it Oh Father Reboot again ?
Ps Grizz in his second childhood - but not his last !
Edihtor of the KoKC (excused spel;l checher'er)
AND NI !!! Tophat 10e
[img]http://www.katrinashome.com/grizzly_counter.php[/[url=http://www.katrinashome.com/] ][/url] |
|
| Back to top |
|
|
PhastPhred
Prince
Joined: 22 Mar 2006
Posts: 6017
Location: Northwest AR (USA)
|
| Posted: Fri Nov 04, 2011 3:10 pm Post subject: |
|
|
| Quote: | News
First satisfying assignment was found
October 28, 2011, 4:41 GMT
First satisfying assignment for current SAT problem was successfully found. In this experiment we will process all WUs in order to find other satisfying assignments, so called 'collisions'. |
| Quote: | Name Team Average credit Total credit Country Joined
KWSN - Sir Dancealot 54.05 634 Denmark 31 Oct 2011 9:38:09 UTC
KWSN-Gemjunkie[TeaM] The Knights Who Say Ni! 177.05 3,100 United States 26 Oct 2011 13:18:44 UTC |
Sir Dancealot, we need ya, Mate! 
_________________
|
|
| Back to top |
|
|
Blurf
Prince
Joined: 03 Jan 2011
Posts: 1090
Location: Upstate NY
|
| Posted: Fri Nov 04, 2011 3:55 pm Post subject: |
|
|
I joined...will get on the team after a WU finishes
_________________
 |
|
| Back to top |
|
|
Gemjunkie
Prince
Joined: 03 Jul 2010
Posts: 3519
Location: Earth, lately
|
| Posted: Tue Mar 20, 2012 11:34 am Post subject: |
|
|
SAT has work!
_________________
(older, before split CPID)
|
|
| Back to top |
|
|
Killerrabbit
Major Oblivion
Joined: 23 May 2002
Posts: 4656
Location: in a rabbit hole near you!!
|
| Posted: Tue Mar 20, 2012 2:36 pm Post subject: |
|
|
Now we can enter good colleges.
Ni
_________________
 |
|
| Back to top |
|
|
Mifun
Duke
Joined: 08 Jan 2012
Posts: 265
Location: Russia
|
| Posted: Tue Mar 20, 2012 3:19 pm Post subject: |
|
|
Have no idea why but i also joined
_________________
 |
|
| Back to top |
|
|
Killerrabbit
Major Oblivion
Joined: 23 May 2002
Posts: 4656
Location: in a rabbit hole near you!!
|
| Posted: Wed Mar 21, 2012 8:08 pm Post subject: |
|
|
I never have a clue why I join every project.
Ni
_________________
|
|
| Back to top |
|
|
|
FAQ
Search
Memberlist
Usergroups
Register
Profile
Log in to check your private messages
Log in
