Davis and Putnam were Already Checking Forward. - Richard Génisson; Philippe Jégou (ECAI, 1996)

On the relations between SAT and CSP enumerative algorithms. - Richard Génisson; Philippe Jégou (Discret. Appl. Math., 2000)