Article,
MCSat-based Finite Field Reasoning in the Yices2 SMT Solver.
T. Hader, D. Kaufmann, A. Irfan, S. Graham-Lengrand, and L. Kovács.CoRR, (2024)
Meta data
- BibTeX key
- journals/corr/abs-2402-17927
- entry type
- article
- year
- 2024
- journal
- CoRR
- volume
- abs/2402.17927
- ee
- https://doi.org/10.48550/arXiv.2402.17927
- url
- http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-17927
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/abs-2402-17927
%A Hader, Thomas
%A Kaufmann, Daniela
%A Irfan, Ahmed
%A Graham-Lengrand, Stéphane
%A Kovács, Laura
%D 2024
%J CoRR
%K dblp
%T MCSat-based Finite Field Reasoning in the Yices2 SMT Solver.
%U http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-17927
%V abs/2402.17927
@article{journals/corr/abs-2402-17927,
added-at = {2024-03-25T00:00:00.000+0100},
author = {Hader, Thomas and Kaufmann, Daniela and Irfan, Ahmed and Graham-Lengrand, Stéphane and Kovács, Laura},
biburl = {https://www.bibsonomy.org/bibtex/26cca64fdc75ab74f1f480c8347e19e13/dblp},
ee = {https://doi.org/10.48550/arXiv.2402.17927},
interhash = {47f541beed91e2ba65acf970d8b00efe},
intrahash = {6cca64fdc75ab74f1f480c8347e19e13},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-04-09T00:27:33.000+0200},
title = {MCSat-based Finite Field Reasoning in the Yices2 SMT Solver.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-17927},
volume = {abs/2402.17927},
year = 2024
}