Michael Codish Vitaly Lagoon Peter J. Stuckey http://arxiv.org/abs/cs/0702072 2007 CoRR abs/cs/0702072 db/journals/corr/corr0702.html#abs-cs-0702072 informal publication