| Web Directory Home / Computers / Algorithms / Complexity |
Complexity Directory
|
Site Listings
SAT Live! A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles). www.satlive.org/ Information-Based Complexity The branch of computational complexity that studies problems for which the information is partial, contaminated, and priced. www.ibc-research.org/ Submit Site to the Complexity Directory |