Constraint and optimization techniques for supporting policy making