Article,
Truth table invariant cylindrical algebraic decomposition.
R. Bradford, J. Davenport, M. England, S. McCallum, and D. Wilson.J. Symb. Comput., (2016)
Meta data
- BibTeX key
- journals/jsc/BradfordDEMW16
- entry type
- article
- year
- 2016
- journal
- J. Symb. Comput.
- pages
- 1-35
- volume
- 76
- ee
- https://www.wikidata.org/entity/Q59590566
- url
- http://dblp.uni-trier.de/db/journals/jsc/jsc76.html#BradfordDEMW16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/jsc/BradfordDEMW16
%A Bradford, Russell J.
%A Davenport, James H.
%A England, Matthew
%A McCallum, Scott
%A Wilson, David J.
%D 2016
%J J. Symb. Comput.
%K dblp
%P 1-35
%T Truth table invariant cylindrical algebraic decomposition.
%U http://dblp.uni-trier.de/db/journals/jsc/jsc76.html#BradfordDEMW16
%V 76
@article{journals/jsc/BradfordDEMW16,
added-at = {2022-01-31T00:00:00.000+0100},
author = {Bradford, Russell J. and Davenport, James H. and England, Matthew and McCallum, Scott and Wilson, David J.},
biburl = {https://www.bibsonomy.org/bibtex/2690262e88950d2eef8fb562c82b8df55/dblp},
ee = {https://www.wikidata.org/entity/Q59590566},
interhash = {5f06acd297884b505f6ad5194af6bf4e},
intrahash = {690262e88950d2eef8fb562c82b8df55},
journal = {J. Symb. Comput.},
keywords = {dblp},
pages = {1-35},
timestamp = {2024-04-09T05:30:07.000+0200},
title = {Truth table invariant cylindrical algebraic decomposition.},
url = {http://dblp.uni-trier.de/db/journals/jsc/jsc76.html#BradfordDEMW16},
volume = 76,
year = 2016
}