面向组合优化问题的程序自动生成
内容简介:本书以组合优化问题求解程序的自动生成作为研究目标,调查研究了组合优化问题自动求解和程序自动生成的最新进展和面临的主要问题,分析了组合优化问题求解程序自动生成中的挑战和重点,提出了一种区别于传统的约束求解器的求解程序自动生成方法,解决了关键问题并实现了相应的软件工具,包括:①组合优化问题描述语言COPDL及求解程序生成工具COPDL2C;②自然语言到COPDL的自动转换工具NL2COPDL;③问题建模训练平台COPDLOpenJudge(已经应用于实际教学中)。
登录后可荐购