Evaluation of choice functions to self-adaptive on constraint programming via the black hole algorithm | IEEE Conference Publication | IEEE Xplore