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