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]
@article{BockmayrK98,
title = {Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming},
author = {Alexander Bockmayr and Thomas Kasper},
year = {1998},
doi = {10.1287/ijoc.10.3.287},
url = {http://dx.doi.org/10.1287/ijoc.10.3.287},
tags = {constraints, programming},
researchr = {https://researchr.org/publication/BockmayrK98},
cites = {0},
citedby = {0},
journal = {INFORMS Journal on Computing},
volume = {10},
number = {3},
pages = {287-300},
}