%0 Conference Paper %1 conf/date/PigorschS13 %A Pigorsch, Florian %A Scholl, Christoph %B DATE %D 2013 %E Macii, Enrico %I EDA Consortium San Jose, CA, USA / ACM DL %K dblp %P 1405-1410 %T Lemma localization: a practical method for downsizing SMT-interpolants. %U http://dblp.uni-trier.de/db/conf/date/date2013.html#PigorschS13 %@ 978-1-4503-2153-2

@inproceedings{conf/date/PigorschS13, added-at = {2022-08-02T00:00:00.000+0200}, author = {Pigorsch, Florian and Scholl, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/22758a089e75c7889f8a022e6aaa14eb0/dblp}, booktitle = {DATE}, crossref = {conf/date/2013}, editor = {Macii, Enrico}, ee = {http://dl.acm.org/citation.cfm?id=2485623}, interhash = {127e9a2481604c339a335c894e5606ce}, intrahash = {2758a089e75c7889f8a022e6aaa14eb0}, isbn = {978-1-4503-2153-2}, keywords = {dblp}, pages = {1405-1410}, publisher = {EDA Consortium San Jose, CA, USA / ACM DL}, timestamp = {2024-04-10T06:49:49.000+0200}, title = {Lemma localization: a practical method for downsizing SMT-interpolants.}, url = {http://dblp.uni-trier.de/db/conf/date/date2013.html#PigorschS13}, year = 2013 }