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. In François Fages, editor, JFPLC 99, Huitièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France. pages 141-142, Hermes, 1999.

Abstract

Abstract is missing.