Perfect Constraints Are Tractable - Salamon, A; Jeavons, P (PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, 2008)