satlive.org: Sat Live!
A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles).
ibc-research.org: Information-Based Complexity
The branch of computational complexity that studies problems for which the information is partial, contaminated, and priced.
Add Site or Add URL to Submit Site to the Complexity Directory