Das bekannteste und am meisten verbreitete Verfahren zur systematischen Suche ist (Stand: 2008) das DPLL-Verfahren (Davis-Putnam-Logemann-Loveland), welches in den letzten Jahrzehnten mit Hilfe von Heuristiken und Lernverfahren stark verbessert wurde.