General SAT Sites:
  • SatLib The SAT community.
  • SATLive by Daniel Le Berre, SAT news and bulletin board.
  • SAT_Ex by Laurent Simon, Benchmark comparison of various SAT solvers. See how is our Chaff compared against others.

Home | People | Publications | Softwares | Links | SAT Paper Library

© Copyright: 2001-2004 SAT Research Group, Princeton University