1. Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an efficient SAT solver. In: DAC, pp. 530–535. ACM, New York (2001)
2. Lecture Notes in Computer Science;V. Ryvchin,2008
3. Lecture Notes in Computer Science;N. Dershowitz,2005
4. Nadel, A.: Backtrack search algorithms for propositional logic satisfiability: Review and innovations. Master’s thesis, Hebrew Univeristy of Jerusalem, Jerusalem, Israel (November 2002)
5. Mahajan, Y.S., Fu, Z., Malik, S.: Zchaff2004: An efficient SAT solver. In: [17], pp. 360–375