After more than 50 years the DPLL procedure still forms the basis for most efficient complete SAT solvers.
После скоро 50 година ДПЛЛ процедура и даље формира основе за најефикасније комплетне SAT решаваче.