%0 Journal Article %1 journals/mst/ZhouHSHCG15 %A Zhou, Min %A He, Fei %A Song, Xiaoyu %A He, Shi %A Chen, Gangyi %A Gu, Ming %D 2015 %J Theory Comput. Syst. %K dblp %N 2 %P 347-371 %T Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic. %U http://dblp.uni-trier.de/db/journals/mst/mst56.html#ZhouHSHCG15 %V 56

@article{journals/mst/ZhouHSHCG15, added-at = {2019-08-30T00:00:00.000+0200}, author = {Zhou, Min and He, Fei and Song, Xiaoyu and He, Shi and Chen, Gangyi and Gu, Ming}, biburl = {https://www.bibsonomy.org/bibtex/213f7ad5275a32dbe075a25a94bc92387/dblp}, ee = {https://doi.org/10.1007/s00224-014-9553-9}, interhash = {1eded281fb085599fb7b1e04d94f52e6}, intrahash = {13f7ad5275a32dbe075a25a94bc92387}, journal = {Theory Comput. Syst.}, keywords = {dblp}, number = 2, pages = {347-371}, timestamp = {2019-08-31T11:39:43.000+0200}, title = {Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/mst/mst56.html#ZhouHSHCG15}, volume = 56, year = 2015 }