Solving Set Constraint Satisfaction Problems using ROBDDs

Open in new window