A Backjumping Search Algorithm for a Distributed Memory Multicomputer. - James M. Conrad; Jerry Mathew (ICPP (3), 1994)