Inproceedings,
Lazy proofs for DPLL(T)-based SMT solvers.
G. Katz, C. Barrett, C. Tinelli, A. Reynolds, and L. Hadarean.FMCAD, page 93-100. IEEE, (2016)
Meta data
- BibTeX key
- conf/fmcad/KatzBTRH16
- entry type
- inproceedings
- booktitle
- FMCAD
- year
- 2016
- pages
- 93-100
- publisher
- IEEE
- crossref
- conf/fmcad/2016
- ee
- https://doi.org/10.1109/FMCAD.2016.7886666
- isbn
- 978-0-9835678-6-8
- url
- http://dblp.uni-trier.de/db/conf/fmcad/fmcad2016.html#KatzBTRH16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/fmcad/KatzBTRH16
%A Katz, Guy
%A Barrett, Clark W.
%A Tinelli, Cesare
%A Reynolds, Andrew
%A Hadarean, Liana
%B FMCAD
%D 2016
%E Piskac, Ruzica
%E Talupur, Muralidhar
%I IEEE
%K dblp
%P 93-100
%T Lazy proofs for DPLL(T)-based SMT solvers.
%U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2016.html#KatzBTRH16
%@ 978-0-9835678-6-8
@inproceedings{conf/fmcad/KatzBTRH16,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Katz, Guy and Barrett, Clark W. and Tinelli, Cesare and Reynolds, Andrew and Hadarean, Liana},
biburl = {https://www.bibsonomy.org/bibtex/2d2fe7964565b147f9393f6f9617d63a7/dblp},
booktitle = {FMCAD},
crossref = {conf/fmcad/2016},
editor = {Piskac, Ruzica and Talupur, Muralidhar},
ee = {https://doi.org/10.1109/FMCAD.2016.7886666},
interhash = {efa6d4d86df70b4ed8343f7b53622e84},
intrahash = {d2fe7964565b147f9393f6f9617d63a7},
isbn = {978-0-9835678-6-8},
keywords = {dblp},
pages = {93-100},
publisher = {IEEE},
timestamp = {2024-04-10T16:53:42.000+0200},
title = {Lazy proofs for DPLL(T)-based SMT solvers.},
url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2016.html#KatzBTRH16},
year = 2016
}