Logic-Based Methods for Optimization
作者： John N. Hooker
DOI:
关键词: Integer programming 、 Logic programming 、 AND gate 、 Programming language 、 Computer science 、 Structure (mathematical logic) 、 Optimization problem
摘要: This paper proposes a logic-based approach to optimization that combines solution methods from mathematical programming and logic programming. From it borrows strategies for exploiting structure have analogs. extracting information are unavailable in traditional framework. Logic-based also provide unified solving problems with both quantitative logical constraints.
amazon.com
openlibrary.org
springer.com参考文章(9)
J.N. Hooker, Logic-Based Methods for Optimization: A Tutorial Research Papers in Economics. ,(1994)
Laurence A. Wolsey, George L. Nemhauser, Integer and Combinatorial Optimization ,(1988)
Sergiu Rudeanu, Peter L. Hammer, Boolean Methods in Operations Research and Related Areas ,(2012)
J.N. Hooker, H. Yan, I.E. Grossmann, R. Raman, Logic cuts for processing networks with fixed charges Computers & Operations Research. ,vol. 21, pp. 265- 279 ,(1994) , 10.1016/0305-0548(94)90089-2
R. G. Jeroslow, J. K. Lowe, Modelling with integer variables Mathematical Programming Studies. pp. 167- 184 ,(1984) , 10.1007/BFB0121015
R. Raman, I.E. Grossmann, RELATION BETWEEN MILP MODELLING AND LOGICAL INFERENCE FOR CHEMICAL PROCESS SYNTHESIS Computers & Chemical Engineering. ,vol. 15, pp. 73- 84 ,(1991) , 10.1016/0098-1354(91)87007-V
Robert G. Jeroslow, Representability in mixed integer programming, I: characterization results Discrete Applied Mathematics. ,vol. 17, pp. 223- 243 ,(1987) , 10.1016/0166-218X(87)90026-6
V. Chvátal, Edmonds polytopes and a hierarchy of combinatorial problems Discrete Mathematics. ,vol. 306, pp. 305- 337 ,(1973) , 10.1016/0012-365X(73)90167-2
George Nemhauser, Laurence Wolsey, Integer and Combinatorial Optimization: Nemhauser/Integer and Combinatorial Optimization John Wiley & Sons, Inc.. ,(1988) , 10.1002/9781118627372