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 займають перші позиції протягом останніх років.