Anne Mignotte Olivier Peyran Reducing the Complexity of ILP Formulations for Synthesis. 58-64 1997 ISSS http://computer.org/proceedings/isss/7949/79490058abs.htm db/conf/isss/isss1997.html#MignotteP97