Integer programming: enumeration - complete and implicit | ACM SIGMAP Bulletin | DeepDyve