Logical representation of integer programming models

From the formulation point of view, the Integer Programming (IF) formulation is no more than indicating some decision variables in a Linear Programming model to integer variables. Nevertheless, the interpretation as well as formulation of the IP model is not an easy task at all, because the model has implicit logical meanings in some of the variables and constraints, To explicitly represent the formulation of an integer programming model, eleven logical operators are identified. So the model formulated at this level is called the Logical Integer Programming model. To formalize the transformation process of the model to the solvable conventional integer programming model (called Base Level Integer Programming model), a series of theorems are derived, This approach is implemented on the system UNIK-IP. UNIK-IP opens a single threaded interface of optimization models with the rule based systems which imply the AND/OR relationships.
Publisher
ELSEVIER SCIENCE BV
Issue Date
1996-11
Language
ENG
Citation

DECISION SUPPORT SYSTEMS, v.18, no.3-4, pp.227 - 251

ISSN
0167-9236
DOI
10.1016/S0167-9236(96)80002-9
URI
http://hdl.handle.net/10203/4375
Appears in Collection
KGSM-Journal Papers(저널논문)
  • Hit : 405
  • Download : 50
  • Cited 0 times in thomson ci
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡClick to seewebofscience_button
⊙ Cited 8 items in WoSClick to see citing articles inrecords_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0