Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming.

Alexander Bockmayr Thomas Kasper Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming. 141-142 1999 conf/jfplc/1999 JFPLC db/conf/jfplc/jfplc1999.html#BockmayrK99