CGL: A domain specific language for constraint generation
2015 Tenth International Conference on Computer Engineering & Systems (ICCES)(2015)
摘要
Integer linear programming solvers are used to solve a wide variety of problems emerging in diverse domains. However, automatically generating the integer linear equations that are used as input for the solvers remains a challenging task. This paper proposes a domain specific language called CGL that can be used to describe the equations in a concise manner. In addition to the proposed language implementation, the syntax and semantics of CGL are formally given. The paper demonstrates the usefulness of CGL using a motivating example.
更多查看译文
关键词
CGL domain specific language,constraint generation language,integer linear programming solvers,integer linear equations
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要