Chao Wang, Aarti Gupta, Malay K. Ganai
Predicate learning and selective theory deduction for a difference logic solver
DAC, 2006.
@inproceedings{DAC-2006-WangGG,
author = "Chao Wang and Aarti Gupta and Malay K. Ganai",
booktitle = "{Proceedings of the 43rd Design Automation Conference}",
doi = "10.1145/1146909.1146971",
isbn = "1-59593-381-6",
pages = "235--240",
publisher = "{ACM}",
title = "{Predicate learning and selective theory deduction for a difference logic solver}",
year = 2006,
}