@vzn i read most of the materials on the internet about SAT, DPLL and local search (including books, notes, conferences, videos and podcasts). I can confirm that it is not based on DPLL or local search (i.e. there is no random variable assignment then checking for satisfaction / contradictions to the input), there is no outside interference like in DPLL or local search (i.e. how a variable is chosen to be assigned).
So i don't see the point of studying DPLL (because its not based on it ?)
@ Thomas nevermind about DFS implementation