The recursive backtracker