Papers

MiniSat papers...

    " An Extensible SAT-solver "
         Niklas Een, Niklas Sörensson, SAT 2003.

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

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

    " Translating Pseudo-Boolean Constraints into SAT "
         Niklas Een, Niklas Sörensson, JSAT 2006.

    " Applying Logic Synthesis for Speeding Up SAT "
         Niklas Een, Alan Mishchenko, Niklas Sörensson, SAT 2007.

    " Cut Sweeping "
         Niklas Een, Cadence Technical Report, 2007.

Applications of MiniSat...

    " Temporal Induction by Incremental SAT Solving "
         Niklas Een, Niklas Sörensson, BMC 2003.

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

    " A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction "
         Niklas Een, Alan Mishchenko, Nina Amla, FMCAD 2010.

Slides...

    " MiniSat — SAT Algorithms and Applications "
         Invited talk given by Niklas Sörensson at the CADE-20 workshop ESCAR.

    " Effective Preprocessing in SAT through Variable and Clause Elimination "
         Talk given by Niklas Een at SAT2005.

    " Applying Logic Synthesis for Speeding Up SAT "
         Talk given at SAT2007. Original ppt.

    " Practical SAT - a tutorial on applied satisfiability solving "
         Invited talk given by Niklas Een at FMCAD 2007. Contains executables for Linux. Version for Cygwin and native Windows (only slide show).

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.