%0 Conference Paper %1 conf/sat/CorziliusLJA12 %A Corzilius, Florian %A Loup, Ulrich %A Junges, Sebastian %A Ábrahám, Erika %B SAT %D 2012 %E Cimatti, Alessandro %E Sebastiani, Roberto %I Springer %K dblp %P 442-448 %T SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation). %U http://dblp.uni-trier.de/db/conf/sat/sat2012.html#CorziliusLJA12 %V 7317 %@ 978-3-642-31611-1

@inproceedings{conf/sat/CorziliusLJA12, added-at = {2017-06-05T00:00:00.000+0200}, author = {Corzilius, Florian and Loup, Ulrich and Junges, Sebastian and Ábrahám, Erika}, biburl = {https://www.bibsonomy.org/bibtex/2324758549dd33d2c59f5b2d98eecea9a/dblp}, booktitle = {SAT}, crossref = {conf/sat/2012}, editor = {Cimatti, Alessandro and Sebastiani, Roberto}, ee = {https://doi.org/10.1007/978-3-642-31612-8_35}, interhash = {b6e94ce89548878e7daafc7902fb53b6}, intrahash = {324758549dd33d2c59f5b2d98eecea9a}, isbn = {978-3-642-31611-1}, keywords = {dblp}, pages = {442-448}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:05:29.000+0200}, title = {SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation).}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2012.html#CorziliusLJA12}, volume = 7317, year = 2012 }