Reformulation of Global Constraints Based on Constraints Checkers

Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit. Reformulation of Global Constraints Based on Constraints Checkers. Constraints, 10(4):339-362, 2005. [doi]

Abstract

Abstract is missing.