Expressing a logical constraint in integer programming

Published --