Figure 3. Basic steps in Davis-Putnum algorithm

From

Genetic Algorithm Based Solution to SAT-3 Problem

Umme Aiman, Nausheen Asrar

Journal of Computer Sciences and Applications. 2015, 3(2), 33-39 doi:10.12691/jcsa-3-2-3