%0 Conference Paper %1 conf/cade/MaLZ09 %A Ma, Feifei %A Liu, Sheng %A Zhang, Jian %B CADE %D 2009 %E Schmidt, Renate A. %I Springer %K dblp %P 453-468 %T Volume Computation for Boolean Combination of Linear Arithmetic Constraints. %U http://dblp.uni-trier.de/db/conf/cade/cade2009.html#MaLZ09 %V 5663 %@ 978-3-642-02958-5

@inproceedings{conf/cade/MaLZ09, added-at = {2017-05-21T00:00:00.000+0200}, author = {Ma, Feifei and Liu, Sheng and Zhang, Jian}, biburl = {https://www.bibsonomy.org/bibtex/270519d0f1a7f9adcf16ad35e6114a8ce/dblp}, booktitle = {CADE}, crossref = {conf/cade/2009}, editor = {Schmidt, Renate A.}, ee = {https://doi.org/10.1007/978-3-642-02959-2_33}, interhash = {695930db032e1e646ed459c88c50cdf2}, intrahash = {70519d0f1a7f9adcf16ad35e6114a8ce}, isbn = {978-3-642-02958-5}, keywords = {dblp}, pages = {453-468}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:55:13.000+0200}, title = {Volume Computation for Boolean Combination of Linear Arithmetic Constraints.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2009.html#MaLZ09}, volume = 5663, year = 2009 }