Alexander Bockmayr, Thomas Kasper. Branch-and-Infer: a Framework for Combining CP and IP. Michela Milano.
Constraint and Integer Programming. Toward a Unified Methodology, Kluwer, pp.59-87, 2003, Operations Research/Computer Science Interfaces.
⟨inria-00099687⟩