%0 Conference Paper %1 conf/mkm/EnglandBCDMW14 %A England, Matthew %A Bradford, Russell J. %A Chen, Changbo %A Davenport, James H. %A Maza, Marc Moreno %A Wilson, David J. %B CICM %D 2014 %E Watt, Stephen M. %E Davenport, James H. %E Sexton, Alan P. %E Sojka, Petr %E Urban, Josef %I Springer %K dblp %P 45-60 %T Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2014.html#EnglandBCDMW14 %V 8543 %@ 978-3-319-08433-6

@inproceedings{conf/mkm/EnglandBCDMW14, added-at = {2024-10-06T00:00:00.000+0200}, author = {England, Matthew and Bradford, Russell J. and Chen, Changbo and Davenport, James H. and Maza, Marc Moreno and Wilson, David J.}, biburl = {https://www.bibsonomy.org/bibtex/2e94c163a6a76a354be9939391ee9c83b/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2014}, editor = {Watt, Stephen M. and Davenport, James H. and Sexton, Alan P. and Sojka, Petr and Urban, Josef}, ee = {https://www.wikidata.org/entity/Q59590579}, interhash = {867ffc9611e95508a3d8c584ee53701e}, intrahash = {e94c163a6a76a354be9939391ee9c83b}, isbn = {978-3-319-08433-6}, keywords = {dblp}, pages = {45-60}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-10-07T09:59:08.000+0200}, title = {Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2014.html#EnglandBCDMW14}, volume = 8543, year = 2014 }