Nicolas Beldiceanu Mats Carlsson Jean-Xavier Rampon Charlotte Truchet Graph Invariants as Necessary Conditions for Global Constraints. 92-106 2005 conf/cp/2005 CP http://dx.doi.org/10.1007/11564751_10 db/conf/cp/cp2005.html#BeldiceanuCRT05