Based on the DPLL algorithm presented in:
[1] Martin Davis, George Logemann, and Donald Loveland. 1962. A machine program for theorem-proving. Commun. ACM 5, 7 (July 1962), 394–397. DOI:https://doi.org/10.1145/368273.368557
[2] Platzer, Matt Fredrikson André. n.d. “Lecture Notes on SAT Solvers & DPLL,” 12. https://www.cs.cmu.edu/~15414/f17/lectures/10-dpll.pdf