Yujun Zheng, Jinyun Xue, Zhengkang Zuo. Toward an Automatic Approach to Greedy Algorithms. In Xiaotie Deng, John E. Hopcroft, Jinyun Xue, editors, Frontiers in Algorithmics, Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings. Volume 5598 of Lecture Notes in Computer Science, pages 302-313, Springer, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.