Article,
Symbolic computation and satisfiability checking.
J. Davenport, M. England, A. Griggio, T. Sturm, and C. Tinelli.J. Symb. Comput., (2020)
Meta data
- BibTeX key
- journals/jsc/DavenportEGST20
- entry type
- article
- year
- 2020
- journal
- J. Symb. Comput.
- pages
- 1-10
- volume
- 100
- ee
- https://doi.org/10.1016/j.jsc.2019.07.017
- url
- http://dblp.uni-trier.de/db/journals/jsc/jsc100.html#DavenportEGST20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/jsc/DavenportEGST20
%A Davenport, James H.
%A England, Matthew
%A Griggio, Alberto
%A Sturm, Thomas
%A Tinelli, Cesare
%D 2020
%J J. Symb. Comput.
%K dblp
%P 1-10
%T Symbolic computation and satisfiability checking.
%U http://dblp.uni-trier.de/db/journals/jsc/jsc100.html#DavenportEGST20
%V 100
@article{journals/jsc/DavenportEGST20,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Davenport, James H. and England, Matthew and Griggio, Alberto and Sturm, Thomas and Tinelli, Cesare},
biburl = {https://www.bibsonomy.org/bibtex/2b3dd78d9b26c5e443f04cc301f0a85a6/dblp},
ee = {https://doi.org/10.1016/j.jsc.2019.07.017},
interhash = {938a303424dc545d2eb1f04d54ae8188},
intrahash = {b3dd78d9b26c5e443f04cc301f0a85a6},
journal = {J. Symb. Comput.},
keywords = {dblp},
pages = {1-10},
timestamp = {2024-04-09T05:31:58.000+0200},
title = {Symbolic computation and satisfiability checking.},
url = {http://dblp.uni-trier.de/db/journals/jsc/jsc100.html#DavenportEGST20},
volume = 100,
year = 2020
}