Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleCylindrical Algebraic Decompositions for Boolean Combinations
Author(s) Wilson David, Davenport James H., England Matthew, Scott McCallum, Bradford Russell
TypeArticle in Conference Proceedings
Keywordscylindrical algebraic decomposition, equational constraint
ISBN978-1-4503-2059-7
URL http://doi.acm.org/10.1145/2465506.2465516
LanguageEnglish
SeriesISSAC
Pages125--132
PublisherACM
AddressNew York, NY, USA
Year2013
Edition0
Translation No
Refereed No
Webmaster