%0 Conference Paper %1 conf/icms/EnglandBDW14 %A England, Matthew %A Bradford, Russell J. %A Davenport, James H. %A Wilson, David J. %B ICMS %D 2014 %E Hong, Hoon %E Yap, Chee %I Springer %K dblp %P 450-457 %T Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. %U http://dblp.uni-trier.de/db/conf/icms/icms2014.html#EnglandBDW14 %V 8592 %@ 978-3-662-44198-5

@inproceedings{conf/icms/EnglandBDW14, added-at = {2022-01-31T00:00:00.000+0100}, author = {England, Matthew and Bradford, Russell J. and Davenport, James H. and Wilson, David J.}, biburl = {https://www.bibsonomy.org/bibtex/2639c4edc65e4bc481678ffcd6243439d/dblp}, booktitle = {ICMS}, crossref = {conf/icms/2014}, editor = {Hong, Hoon and Yap, Chee}, ee = {https://www.wikidata.org/entity/Q59590577}, interhash = {c5a363f18cddffffbec22e7641e12bfd}, intrahash = {639c4edc65e4bc481678ffcd6243439d}, isbn = {978-3-662-44198-5}, keywords = {dblp}, pages = {450-457}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:51:36.000+0200}, title = {Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition.}, url = {http://dblp.uni-trier.de/db/conf/icms/icms2014.html#EnglandBDW14}, volume = 8592, year = 2014 }