DPLL's modern implementations like Chaff and zChaff, GRASP or Minisat are in the first places of the competitions these last years.
Современные реализации алгоритма DPLL, такие как Chaff and zChaff, GRASP или Minisat оказываются в числе первых мест в течение последних лет.