Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming

Alexander Bockmayr, Thomas Kasper. Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming. INFORMS Journal on Computing, 10(3):287-300, 1998. [doi]

Abstract

Abstract is missing.