%0 Conference Paper %1 conf/cade/MengRTB17 %A Meng, Baoluo %A Reynolds, Andrew %A Tinelli, Cesare %A Barrett, Clark W. %B CADE %D 2017 %E de Moura, Leonardo %I Springer %K dblp %P 148-165 %T Relational Constraint Solving in SMT. %U http://dblp.uni-trier.de/db/conf/cade/cade2017.html#MengRTB17 %V 10395 %@ 978-3-319-63046-5

@inproceedings{conf/cade/MengRTB17, added-at = {2021-10-14T00:00:00.000+0200}, author = {Meng, Baoluo and Reynolds, Andrew and Tinelli, Cesare and Barrett, Clark W.}, biburl = {https://www.bibsonomy.org/bibtex/21e67c50bb6ffbb11085d4ce95e710138/dblp}, booktitle = {CADE}, crossref = {conf/cade/2017}, editor = {de Moura, Leonardo}, ee = {https://doi.org/10.1007/978-3-319-63046-5_10}, interhash = {0138de8db48e5b38bc61c0cb541b7d8d}, intrahash = {1e67c50bb6ffbb11085d4ce95e710138}, isbn = {978-3-319-63046-5}, keywords = {dblp}, pages = {148-165}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:55:05.000+0200}, title = {Relational Constraint Solving in SMT.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2017.html#MengRTB17}, volume = 10395, year = 2017 }