Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering
We describe an effective method for doing binary-encoded modeling, in the context of 0/1 linear programming, when the number of feasible configurations is not a power of two. Our motivation comes from modeling all-different restrictions. © 2005 Elsevier B.V. All rights reserved.
Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering
Fernando Martinez, Juntao Chen, et al.
AAAI 2025
Jon Lee, François Margot
INFORMS Journal on Computing
Satoshi Hada
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences