2008. Constraint Satisfaction and Programming, 19 March. The Reasoner. 2, 4 (Apr. 2008).