Theoretically, exponential lower bounds have been proved for the DPLL family of algorithms.
از لحاظ تئوری کران پایین نمایی برای خانوادهٔ الگوریتم‌های DPLL اثبات شده‌است.