%0 Conference Paper %1 conf/cav/ReynoldsWBBLT17 %A Reynolds, Andrew %A Woo, Maverick %A Barrett, Clark W. %A Brumley, David %A Liang, Tianyi %A Tinelli, Cesare %B CAV (2) %D 2017 %E Majumdar, Rupak %E Kuncak, Viktor %I Springer %K dblp %P 453-474 %T Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification. %U http://dblp.uni-trier.de/db/conf/cav/cav2017-2.html#ReynoldsWBBLT17 %V 10427 %@ 978-3-319-63390-9

@inproceedings{conf/cav/ReynoldsWBBLT17, added-at = {2021-07-27T00:00:00.000+0200}, author = {Reynolds, Andrew and Woo, Maverick and Barrett, Clark W. and Brumley, David and Liang, Tianyi and Tinelli, Cesare}, biburl = {https://www.bibsonomy.org/bibtex/2a8546b7211aaa6a481deae03b0fc0e29/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2017-2}, editor = {Majumdar, Rupak and Kuncak, Viktor}, ee = {https://doi.org/10.1007/978-3-319-63390-9_24}, interhash = {48d4456dda1eb36f2f8e34e181ab8813}, intrahash = {a8546b7211aaa6a481deae03b0fc0e29}, isbn = {978-3-319-63390-9}, keywords = {dblp}, pages = {453-474}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:26:48.000+0200}, title = {Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2017-2.html#ReynoldsWBBLT17}, volume = 10427, year = 2017 }