Branch and Infer: A Unifying Framework for Integer and Nite Domain Constraint Programming
Title | Branch and Infer: A Unifying Framework for Integer and Nite Domain Constraint Programming |
Publication Type | Journal Article |
Authors | Bockmayr, A.., & Kasper T.. |