Yury V. Smirnov Manuela M. Veloso Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming Methods. 124-134 1996 KR db/conf/kr/kr96.html#SmirnovV96