Inproceedings,
Proof logging for computer algebra based SMT solving.
O. Marx, M. Wedler, D. Stoffel, W. Kunz, and A. Dreyer.ICCAD, page 677-684. IEEE, (2013)
Meta data
- BibTeX key
- conf/iccad/MarxWSKD13
- entry type
- inproceedings
- booktitle
- ICCAD
- year
- 2013
- pages
- 677-684
- publisher
- IEEE
- crossref
- conf/iccad/2013
- ee
- http://dl.acm.org/citation.cfm?id=2561960
- isbn
- 978-1-4799-1069-4
- url
- http://dblp.uni-trier.de/db/conf/iccad/iccad2013.html#MarxWSKD13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/iccad/MarxWSKD13
%A Marx, Oliver
%A Wedler, Markus
%A Stoffel, Dominik
%A Kunz, Wolfgang
%A Dreyer, Alexander
%B ICCAD
%D 2013
%E Henkel, Jörg
%I IEEE
%K dblp
%P 677-684
%T Proof logging for computer algebra based SMT solving.
%U http://dblp.uni-trier.de/db/conf/iccad/iccad2013.html#MarxWSKD13
%@ 978-1-4799-1069-4
@inproceedings{conf/iccad/MarxWSKD13,
added-at = {2017-05-24T00:00:00.000+0200},
author = {Marx, Oliver and Wedler, Markus and Stoffel, Dominik and Kunz, Wolfgang and Dreyer, Alexander},
biburl = {https://www.bibsonomy.org/bibtex/27251ec95d19c80bb0bcdfc0eb738ccf9/dblp},
booktitle = {ICCAD},
crossref = {conf/iccad/2013},
editor = {Henkel, Jörg},
ee = {http://dl.acm.org/citation.cfm?id=2561960},
interhash = {c761239d1fb79da512d9ade0660dd6c7},
intrahash = {7251ec95d19c80bb0bcdfc0eb738ccf9},
isbn = {978-1-4799-1069-4},
keywords = {dblp},
pages = {677-684},
publisher = {IEEE},
timestamp = {2019-10-17T22:45:18.000+0200},
title = {Proof logging for computer algebra based SMT solving.},
url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2013.html#MarxWSKD13},
year = 2013
}