A sufficient condition for backtrack-bounded search