用GROOVE求解TTC 2011型发动机优化问题
Solving the TTC 2011 Compiler Optimization Case with GROOVE
摘要：
本报告提供了使用GROOVE的“机器人优化”案例研究的部分解决方案。我们解释了如何与案例研究提供的输入图被改编成一个GROOVE表示，我们描述了任务1的初始解决方案。这个解决方案允许我们自动重现案例描述中给出的常量折叠示例的步骤。我们没有解决任务2。
英文摘要：
This report presents a partial solution to the Compiler Optimization case study using GROOVE. We explain how the input graphs provided with the case study were adapted into a GROOVE representation and we describe an initial solution for Task 1. This solution allows us to automatically reproduce the steps of the constant folding example given in the case description. We did not solve Task 2.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
