1. Beame P (1994) A switching lemma primer. University of Toronto
2. Kottler S, Kaufmann M (2011) SArTagnan—a parallel portfolio SAT solver with lockless physical clause sharing. University of Tuebingen, Tuebingen
3. Rosen KH (2003) Discrete mathematics and it’s applications, 6th edn, CRC Press, Boca Raton
4. Wegener I (1987) The complexity of boolean functions. Wiley and B.G.Teubner, Stuttgart
5. Auora R, Hsiao MS (2004) CNF formula simplification using implication reasoning. IEEE Transactions 0-7803-8714-7104 2004