# _k_-SAT

* [Randomized Algorithms for 3-SAT](http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.190/Mitarbeiter/schoenig/randomized_algorithms_for_3-sat.pdf) by Thomas Hofmeister
* [A Full Derandomization of Schöning’s _k_-SAT Algorithm](http://arxiv.org/pdf/1008.4067.pdf) by Robin A. Moser and Dominik Scheder

# Optimization

* [Applying Logic Synthesis for Speeding Up SAT](http://minisat.se/downloads/synth_in_sat.pdf) by Niklas Een, Alan Mishchenko and Niklas Sörensson
  * [Presentation](http://minisat.se/downloads/SAT07-Een.pdf)
* [Multiple-Valued Logic Minimization for PLA Synthesis](http://www.eecs.berkeley.edu/Pubs/TechRpts/1986/ERL-86-65.pdf) by Richard L. Rudell
* [Automated Synthesis and Optimization of Multilevel Logic Circuits](http://researchrepository.napier.ac.uk/4342/1/Wang.pdf) by Lingli Wang