Links
Here you can found some useful links to other web site devoted to SAT:
-
Satlib:
perhaps the most comprehensive site on SAT
-
Dimacs:
a collections of benchmarks and papers on SAT problem
-
SATLive:
Up-to-date links for the SATisfiability Problem
-
SATCompetition:
The SAT 2002 competition, Cincinnati, Ohio, USA
-
SAT-Ex:
The experimentation web site around the satisfiability problem
-
SAT2003: the Sixth International Symposium on Theory and Application of Satisfiability Testing. May 2003. Portofino, Italy (EU)