SAT Live!Save
A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles). A discussion forum is available as well. http://www.satlive.org/
SATLIB - The Satisfiability LibrarySave
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. http://www.satlib.org/