1. Franco, J., Weaver, S.: Algorithms for the Satisfiability Problem, Handbook of Combinatorial Optimization. pp. 311–454. Springer, New York (2013).
2. Davis, M., Logemann, G., Loveland, D.: A machine program for theorem-proving. Commun. ACM. 5(7), 394–397 (1962).
3. Jackson, D., Vaziri, M.: Finding bugs with a constraint solver. International Symposium on Software Testing and Analysis, Portland, Oregon (ISSTA). 14–25 (2000).
4. Stephan, P., Brayton, R. K., Sangiovanni-Vincentelli, A. L.: Combinational test generation using satisfiability. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. 15, 1167–1176 (1996).
5. Kautz, H., Selman, B.: Planning as satisfiability. 92, 359–363 (1992). European Conference on Artificial Intelligence.