Peter Hawkins Vitaly Lagoon Peter J. Stuckey Solving Set Constraint Satisfaction Problems using ROBDDs. 109-156 2005 24 J. Artif. Intell. Res. (JAIR) http://dx.doi.org/10.1613/jair.1638 db/journals/jair/jair24.html#HawkinsLS05