A sufficient condition for backtrack-free search