.png){kind=icon}
返回
TOOLS FOR REFORMULATING LOGICAL FORMS INTO ZERO-ONE MIXED-INTEGER PROGRAMS
.png){kind=icon}
PRE
AI
DOI：10.1016/0377-2217(94)90308-5.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
A systematic procedure for transforming a set of logical statements or logical conditions imposed on a model into an Integer Linear Programming (ILP) formulation or a Mixed Integer Programming (MIP) formulation is presented. A reformulation procedure which uses the extended reverse Polish notation to represent a compound logical form is then described. The syntax of an LP modelling language is extended to incorporate statements in propositional logic forms with linear algebraic forms whereby 0-1 MIP models can be automatically formulated. A prototype user interface by which logical forms can be reformulated and the corresponding MIP constructed and analysed within an existing Mathematical Programming modelling system is illustrated. Finally, the steps to formulate a discrete optimisation model in this way are illustrated by means of an example.
Keyword:
MATHEMATICAL PROGRAMMING
LINEAR PROGRAMMING MODELING LANGUAGES
PROPOSITIONAL CALCULUS
FIRST ORDER LOGIC
LOGICAL PROGRAMMING
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
6
论文数:
2.2W
被引数:
6.4W
机构
暂无机构信息
引用论文
.png){kind=icon}
Morpho-physiological and nutritional characterization of rice bean (Vigna umbellata)稻豆（Vigna umbellata）的形态-生理及营养特性分析
PREAI
分享收藏
没有更多内容
没有更多内容