Computers DirectoryListing Details
| ID: | 561 |
| Title: | Challenging Benchmarks for SAT and CSP - http://www.nlsde.buaa.edu.cn |
| Pagerank: | 5 |
| Description: | Includes related links, references and a summary of the results for the SAT benchmarks used in SAT Competition 2004. |
| Category: | Algorithms: Complexity |
| Link Owner: | nlsde.buaa.edu.cn |
| Date Added: | February 23, 2010 04:29:02 AM |
| Number Hits: | 0 |