47 citations · 93 across the 6 of their papers we have counts for
1 paper · 2 filters
Peter Tiedemann, Henrik Reif Andersen, Rasmus Pagh
The paper suggests the use of Multi-Valued Decision Diagrams (MDDs) as the supporting data structure for a generic global constraint. We give an algorithm for maintaining generaliz…