期刊文献+

逻辑、优化及约束程序的综述

A Review of Logic, Optimization and Constraint Programming
下载PDF
导出
摘要 由于优化和约束程序各自具有扩充能力,它们开始有效地结合在一起。它们的结合有着广阔的商业前景,近些年来引起了研究者浓厚的兴趣。概述了各种优化中基于逻辑的方法,总结了约束程序研究领域的各种方法,并对优化和约束程序结合的框架进行了综述。 Due to the expanding capacity, optimization and constraint programs effectively merge. Their integration is of great commercial prospect and attracts many researchers in recent years. Logic-based methods in optimization and different methods in constraint programming are summarized. The schemes of the integration of optimization and constraint programming are analyzed.
出处 《武汉理工大学学报(信息与管理工程版)》 CAS 2005年第1期42-47,共6页 Journal of Wuhan University of Technology:Information & Management Engineering
关键词 优化 约束程序 约束逻辑程序 逻辑 optimization constraint programming logic constraint programming logic
  • 相关文献

参考文献35

  • 1Hooker J N. Logic-Based Methods for Optimiz-ation: Combining Optimiza-tion and Constraint Satisfaction[M]. New York: Wiley, 2000.
  • 2Boole G. The Mathematical Analysis of Logic: Be-ing a Essay Toward a Calculus of Deductive Reasoning[M]. Oxford: Blackwell, 1951.
  • 3Hansen P L, Jaumard B, Mathon V. Constrained nonli-near 0-1 Programming[J]. ORSA Journal on Computing, 1992(5): 97-119.
  • 4Hammer P L, Rudeanu S. Boolean Methods in O-perations Research and Related Areas[M]. New York: Springer, 1968.
  • 5Balas E, Jeroslow R G. Canonical Cuts on the Unit Hypercube[J]. SIAM Journal on Applied Mathematics, 1972(23): 61-69.
  • 6Garfinkel R, Nemhauser G. Optimal Political Di-stricting by Implicit Enumeration Techniques[J]. Management Science, 1970(16): 495-508.
  • 7Balas E. Disjunctive Programming: Cutting Plan-es from Logical Conditions[M]. New York: Academic Press, 1975.
  • 8Williams H P. Fourier-Motzkin Elimination Ext-ension to Integer Programming Problems[J]. Journal of Combinatorial Theory, 1976(21): 118-123.
  • 9Laundy R S. Logically Constrained Mathematical Programming Problems [D]. University of Southampton, 1986.
  • 10Wilson J M. A Note on Logic Cuts and Valid In-equalities for Certain Standard(0-1) Integer Programs[J]. JORBEL,1996(36): 27-41.

二级参考文献1

  • 1廖乐健 史忠植 曹元大.并发约束程序设计:提高知识系统可伸缩性的途径[A]..北京:2001全国人工智能学术大会论文集[C].,2001.329.333.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部