Steven David Prestwich Shyam Mudambi Improved Branch and Bound in Constraint Logic Programming. 533-548 1995 conf/cp/1995 CP db/conf/cp/cp95.html#PrestwichM95