Computers DirectoryListing Details
| ID: | 581 |
| Title: | SAT Live! - http://www.satlive.org |
| Pagerank: | 6 |
| Description: | A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles). A discussion forum is available as well. |
| Category: | Algorithms: Complexity |
| Link Owner: | satlive.org |
| Date Added: | February 23, 2010 04:29:02 AM |
| Number Hits: | 0 |