TY - RPRT TI - View-based propagation of decomposable constraints AU - Marco Correia AU - Pedro Barahona PY - 2013 DO - 10.1007/s10601-013-9140-8 UR - https://arxiv.org/abs/1301.4272 ID - 1301.4272 ER -