%0 Conference Paper %1 conf/qest/GaoF15 %A Gao, Yang %A Fränzle, Martin %B QEST %D 2015 %E Campos, Javier %E Haverkort, Boudewijn R. %I Springer %K %P 295-311 %T A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain. %U http://dblp.uni-trier.de/db/conf/qest/qest2015.html#GaoF15 %V 9259 %@ 978-3-319-22264-6

@inproceedings{conf/qest/GaoF15, added-at = {2023-12-13T04:44:08.000+0100}, author = {Gao, Yang and Fränzle, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2e28c8651cae61c32227438708db3935a/admin}, booktitle = {QEST}, crossref = {conf/qest/2015}, editor = {Campos, Javier and Haverkort, Boudewijn R.}, ee = {https://doi.org/10.1007/978-3-319-22264-6_19}, interhash = {99a9bd95dc3e694a1ed55449128fad3b}, intrahash = {e28c8651cae61c32227438708db3935a}, isbn = {978-3-319-22264-6}, keywords = {}, pages = {295-311}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:44:08.000+0100}, title = {A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2015.html#GaoF15}, volume = 9259, year = 2015 }