Constraint Reductions

Olivier Bailleux (1) , Yacine Boufkhad (2)

1 LIB - Laboratoire d'Informatique de Bourgogne [Dijon]
2 LIAFA - Laboratoire d'informatique Algorithmique : Fondements et Applications

This is a commentary on the CP 2003 paper "Efficient cnf encoding of boolean cardinality constraints". After recalling its context, we outline a classification of Constraints with respect to their deductive power regarding General Arc Consistency (GAC).

Domaines: Intelligence artificielle [cs.AI]

Olivier Bailleux, Yacine Boufkhad. Constraint Reductions. CP anniversary Volume, 2019. ⟨hal-02735275⟩