Maurice Bruynooghe Enhancing a Search Algorithm to Perform Intelligent Backtracking http://arxiv.org/abs/cs.AI/0311003 2003 CoRR cs.AI/0311003 db/journals/corr/corr0311.html#cs-AI-0311003