In order to systematise the modelling of such conditions it is convenient to introduce 0–1 integer variables to represent the satisfaction, or otherwise, of such constraints. When this is done it is usually necessary to know the upper or lower bounds for the left-hand side of the constraint above.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2009 Springer-Verlag US
About this chapter
Cite this chapter
Williams, H.P. (2009). Modelling In Logic For Integer Programming. In: Logic and Integer Programming. International Series in Operations Research & Management Science, vol 130. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-92280-5_3
Download citation
DOI: https://doi.org/10.1007/978-0-387-92280-5_3
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-92279-9
Online ISBN: 978-0-387-92280-5
eBook Packages: Computer ScienceComputer Science (R0)