Chao Wang, Aarti Gupta, Malay K. Ganai. Predicate learning and selective theory deduction for a difference logic solver. In Ellen Sentovich, editor, Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006. pages 235-240, ACM, 2006. [doi]
Abstract is missing.