Marco Gavanelli Fabrizio Riguzzi Michela Milano Paolo Cagnoli Constraint and Optimization techniques for supporting Policy Making. 2012 ISAIM http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Gavanelli_etal.pdf conf/isaim/2012 db/conf/isaim/isaim2012.html#GavanelliRMC12