%0 Conference Paper %1 conf/icms/ChenTX14 %A Chen, Zhenghong %A Tang, Xiaoxian %A Xia, Bican %B ICMS %D 2014 %E Hong, Hoon %E Yap, Chee %I Springer %K dblp %P 434-441 %T Hierarchical Comprehensive Triangular Decomposition. %U http://dblp.uni-trier.de/db/conf/icms/icms2014.html#ChenTX14 %V 8592 %@ 978-3-662-44198-5

@inproceedings{conf/icms/ChenTX14, added-at = {2017-05-25T00:00:00.000+0200}, author = {Chen, Zhenghong and Tang, Xiaoxian and Xia, Bican}, biburl = {https://www.bibsonomy.org/bibtex/286d3bf274807685d2e21d354fe46f73d/dblp}, booktitle = {ICMS}, crossref = {conf/icms/2014}, editor = {Hong, Hoon and Yap, Chee}, ee = {https://doi.org/10.1007/978-3-662-44199-2_66}, interhash = {fcb0d56a5ad8cc1143ca104b29193027}, intrahash = {86d3bf274807685d2e21d354fe46f73d}, isbn = {978-3-662-44198-5}, keywords = {dblp}, pages = {434-441}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:47:40.000+0200}, title = {Hierarchical Comprehensive Triangular Decomposition.}, url = {http://dblp.uni-trier.de/db/conf/icms/icms2014.html#ChenTX14}, volume = 8592, year = 2014 }