Follow
Implementing backjumping by throw/1 and catch/3 of Prolog. (arXiv:2008.09610v1 [cs.PL]) http://arxiv.org/abs/2008.09610
Implementing backjumping by throw/1 and catch/3 of Prolog. (arXiv:2008.09610v1 [cs.PL]) http://arxiv.org/abs/2008.09610