57 citations · 57 across the 1 of their papers we have counts for
1 paper
P. J. Hawkins, V. Lagoon, P. J. Stuckey
In this paper we present a new approach to modeling finite set domain constraint problems using Reduced Ordered Binary Decision Diagrams (ROBDDs). We show that it is possible to co…