A sufficient condition for backtrack-bounded search. Freuder, E. C. JACM, 32:755–761, 1985.
bibtex   
@article{Freuder:1985,
	author = "Freuder, E. C.",
	title = "A sufficient condition for backtrack-bounded search",
	year = 1985,
	journal = jacm,
	volume = 32,
	_number = 4,
	pages = "755--761"
}

Downloads: 0