Return to Article Details Solving Set Constraint Satisfaction Problems using ROBDDs Download Download PDF