Computers DirectoryListing Details
| ID: | 582 |
| Title: | SATLIB - The Satisfiability Library - http://www.satlib.org |
| Pagerank: | 6 |
| Description: | A collection of benchmark problems, solvers, and tools. Provides a uniform test-bed for SAT solvers as well as a site for collecting SAT problem instances, algorithms, and empirical characterisations of the algorithms' performance. |
| Category: | Algorithms: Complexity |
| Link Owner: | satlib.org |
| Date Added: | February 23, 2010 04:29:02 AM |
| Number Hits: | 0 |