DMCA

Propagating Regular Counting Constraints (2014)

by Nicolas Beldiceanu , Pierre Flener , Justin Pearson , Pascal Van Hentenryck