1. Constraint logic programming;Jaffar,1987
2. B. Selman, H. Kautz, B. Cohen, Local search strategies for satisfiability testing, Second DIMACS Implementation Challenge.
3. Algebraic simplification techniques for propositional satisfiability;Marques-Silva,2000
4. SATO: an efficient propositional prover;Zhang,1997
5. A Pearl on SAT and SMT Solving in Prolog;Howe;Theor. Comput. Sci.,2012