Links

" SAT Live "
— Currently the most active web forum for SAT.

" The Propositional Satisfiability Web Site "
— Contains more links to material, in particular to the SAT conference.

" The MathSAT page "
— A project to build a framework for "Satisfiability Modulo Theories" (SMT), in which MiniSat is used.

" The ARIO SMT Solver "
— Another framework for SMT, developed at University of Michigan. MiniSat is rumored to be in there somewhere too.

" DPvis — Visualizing the Davis-Putnam Procedure "
— A really cool visualizer for CNFs and for DPLL-search, put on top of MiniSat.

" MVSIS: Logic Synthesis and Verification "
— The MVSIS group at Berkeley studies logic synthesis and verification for VLSI design. In their tool, they have their own C version of MiniSat.