Inproceedings,
cvc5: A Versatile and Industrial-Strength SMT Solver.
H. Barbosa, C. Barrett, M. Brain, G. Kremer, H. Lachnitt, M. Mann, A. Mohamed, M. Mohamed, A. Niemetz, A. Nötzli, A. Ozdemir, M. Preiner, A. Reynolds, Y. Sheng, C. Tinelli, and Y. Zohar.TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 415-442. Springer, (2022)
Meta data
- BibTeX key
- conf/tacas/BarbosaBBKLMMMN22
- entry type
- inproceedings
- booktitle
- TACAS (1)
- year
- 2022
- pages
- 415-442
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 13243
- crossref
- conf/tacas/2022-1
- ee
- https://doi.org/10.1007/978-3-030-99524-9_24
- isbn
- 978-3-030-99524-9
- url
- http://dblp.uni-trier.de/db/conf/tacas/tacas2022-1.html#BarbosaBBKLMMMN22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/tacas/BarbosaBBKLMMMN22
%A Barbosa, Haniel
%A Barrett, Clark W.
%A Brain, Martin
%A Kremer, Gereon
%A Lachnitt, Hanna
%A Mann, Makai
%A Mohamed, Abdalrhman
%A Mohamed, Mudathir
%A Niemetz, Aina
%A Nötzli, Andres
%A Ozdemir, Alex
%A Preiner, Mathias
%A Reynolds, Andrew
%A Sheng, Ying
%A Tinelli, Cesare
%A Zohar, Yoni
%B TACAS (1)
%D 2022
%E Fisman, Dana
%E Rosu, Grigore
%I Springer
%K dblp
%P 415-442
%T cvc5: A Versatile and Industrial-Strength SMT Solver.
%U http://dblp.uni-trier.de/db/conf/tacas/tacas2022-1.html#BarbosaBBKLMMMN22
%V 13243
%@ 978-3-030-99524-9
@inproceedings{conf/tacas/BarbosaBBKLMMMN22,
added-at = {2022-04-29T00:00:00.000+0200},
author = {Barbosa, Haniel and Barrett, Clark W. and Brain, Martin and Kremer, Gereon and Lachnitt, Hanna and Mann, Makai and Mohamed, Abdalrhman and Mohamed, Mudathir and Niemetz, Aina and Nötzli, Andres and Ozdemir, Alex and Preiner, Mathias and Reynolds, Andrew and Sheng, Ying and Tinelli, Cesare and Zohar, Yoni},
biburl = {https://www.bibsonomy.org/bibtex/2857a787a8f69167f86122de1b4f8bc6c/dblp},
booktitle = {TACAS (1)},
crossref = {conf/tacas/2022-1},
editor = {Fisman, Dana and Rosu, Grigore},
ee = {https://doi.org/10.1007/978-3-030-99524-9_24},
interhash = {1a002badca75d396ad3c8f74d96ade99},
intrahash = {857a787a8f69167f86122de1b4f8bc6c},
isbn = {978-3-030-99524-9},
keywords = {dblp},
pages = {415-442},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T20:56:46.000+0200},
title = {cvc5: A Versatile and Industrial-Strength SMT Solver.},
url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2022-1.html#BarbosaBBKLMMMN22},
volume = 13243,
year = 2022
}