Satoshi Hada
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
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.
Satoshi Hada
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Igor Devetak, Andreas Winter
ISIT 2003
Paul J. Steinhardt, P. Chaudhari
Journal of Computational Physics
Zhihua Xiong, Yixin Xu, et al.
International Journal of Modelling, Identification and Control