Jeremy Frank Peter Cheeseman John Stutz When Gravity Fails: Local Search Topology http://arxiv.org/abs/cs.AI/9712101 1997 CoRR cs.AI/9712101 db/journals/corr/corr9712.html#cs-AI-9712101 informal publication