Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Computers
:
Computer_Science
:
Theoretical
:
Complexity_Theory
:
Challenging Benchmarks for SAT and CSP
Link Details for:
Challenging Benchmarks for SAT and CSP
Link Title:
Challenging Benchmarks for SAT and CSP
Link URL:
http://www.nlsde.buaa.edu.cn/~kexu/benchmarks/benchmarks.htm
Link Details:
Includes related links, references and a summary of the results for the SAT benchmarks used in SAT Competition 2004.
Category:
Top : Computers : Computer_Science : Theoretical : Complexity_Theory
Link Type:
ScreenShot: