Linked by Thom Holwerda on Sun 18th Apr 2010 17:22 UTC, submitted by Tom5
Permalink for comment 419640
To read all comments associated with this story, please click here.
To read all comments associated with this story, please click here.
Features
Linked by Thom Holwerda on 05/18/13 21:33 UTC
Linked by David Adams on 05/16/13 4:23 UTC
Linked by Thom Holwerda on 05/11/13 21:41 UTC
Linked by Thom Holwerda on 05/08/13 14:22 UTC
Linked by Thom Holwerda on 05/02/13 15:28 UTC
Linked by Thom Holwerda on 04/29/13 21:06 UTC
Linked by Thom Holwerda on 04/24/13 22:24 UTC
Linked by Thom Holwerda on 04/18/13 11:21 UTC
Linked by Thom Holwerda on 04/16/13 9:29 UTC
Linked by Thom Holwerda on 04/15/13 22:44 UTC
More Features »
Sponsored Links



Member since:
2005-09-17
According to http://git.opensuse.org/autodocs/satsolver/HEAD/historypage.html:
"SUSE's hack week at the end of June 2007 turned out to be a turning point for the solver. Googling for solver algorithms I stumbled over some note saying that some people are trying to use SAT algorithms to improve solving on debian."
So, I guess the SUSE work was based on the OPIUM work. I wonder which other systems have built on the same ideas?