3 citations · 6 across the 9 of their papers we have counts for
1 paper · 1 filter
Olivier Bailleux, Yacine Boufkhad
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…