Utz-Uwe Haus Carla Michini Representations of All Solutions of Boolean Programming Problems. 2014 ISAIM http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Boolean_Haus_Michini.pdf conf/isaim/2014 db/conf/isaim/isaim2014.html#HausM14