Home
|
Quick Search
|
Advanced Search
|
Bibliography submission
|
Bibliography submission using bibtex
|
Bibliography submission using bibtex file
|
Links
|
Help
|
Internal
Details:
Title
Cylindrical Algebraic Decompositions for Boolean Combinations
Author(s)
Wilson David
,
Davenport James H.
,
England Matthew
,
Scott McCallum
,
Bradford Russell
Type
Article in Conference Proceedings
Keywords
cylindrical algebraic decomposition, equational constraint
ISBN
978-1-4503-2059-7
URL
http://doi.acm.org/10.1145/2465506.2465516
Language
English
Series
ISSAC
Pages
125--132
Publisher
ACM
Address
New York, NY, USA
Year
2013
Edition
0
Translation
No
Refereed
No
Webmaster