A sufficient condition for backtrack-bounded search

Open in new window