Raphaël Chenouard Alexandre Goldsztejn Christophe Jermann Search Strategies for an Anytime Usage of the Branch and Prune Algorithm. 468-473 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-085.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#ChenouardGJ09