Papers

MiniSat papers...

    " An Extensible SAT-solver "
         Niklas Eén, Niklas Sörensson, SAT 2003.

    " MiniSat — A SAT Solver with Conflict-Clause Minimization "
         Niklas Eén, Niklas Sörensson, poster for SAT 2005.

    " Effective Preprocessing in SAT through Variable and Clause Elimination "
         Niklas Eén, Armin Biere, SAT 2005.

Applications of MiniSat...

    " Temporal Induction by Incremental SAT Solving "
         Niklas Eén, Niklas Sörensson, BMC 2003.

    " New techniques that improve MACE-style finite model finding "
         Koen Claessen, Niklas Sörensson, CADE 2003.

Some SAT papers by others...

    " Chaff: Engineering an Efficient SAT Solver "
         M.W. Moskewicz, C.F. Madigan, Y. Zhao, L. Zhang, S. Malik, DAC 2001.

    " GRASP: A Search Algorithm for Propositional Satisfiability "
         Joao .P. Marques-Silva, Karem .A. Sakallah, IEEE Transactions on Computers, 1999.

    " Searching for Truth: Techniques for Satisfiability of Boolean Formulas "
         Ph.D. Thesis by Lintao Zhang, 2003.

    " Efficient Algorithms for Clause-Learning SAT Solvers "
         M.Sc. Thesis by Lawrence Ryan, 2003.