@inproceedings{DBLP:conf/dac/WangGG06,
author = {Chao Wang and
Aarti Gupta and
Malay K. Ganai},
title = {Predicate learning and selective theory deduction for a
difference logic solver},
booktitle = {DAC},
year = {2006},
pages = {235-240},
ee = {http://doi.acm.org/10.1145/1146909.1146971},
crossref = {DBLP:conf/dac/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dac/2006,
editor = {Ellen Sentovich},
title = {Proceedings of the 43rd Design Automation Conference, DAC
2006, San Francisco, CA, USA, July 24-28, 2006},
booktitle = {DAC},
publisher = {ACM},
year = {2006},
isbn = {1-59593-381-6},
ee = {http://dl.acm.org/citation.cfm?id=1146909},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
