Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun. Effective heuristics for counterexample-guided abstraction refinement. In Hai Zhou, Enrico Macii, Zhiyuan Yan, Yehia Massoud, editors, Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007. pages 393-398, ACM, 2007. [doi]
Abstract is missing.