Daniel Kästner Marc Langenbach Code Optimization by Integer Linear Programming. 122-136 1999 conf/cc/1999 CC db/conf/cc/cc99.html#KastnerL99 https://doi.org/10.1007/978-3-540-49051-7_9