Toward an Automatic Approach to Greedy Algorithms.

Yujun Zheng, Jinyun Xue, Zhengkang Zuo

Browse the full FAW paper archive.