%0 Conference Paper %1 conf/sat/RabeS16 %A Rabe, Markus N. %A Seshia, Sanjit A. %B SAT %D 2016 %E Creignou, Nadia %E Berre, Daniel Le %I Springer %K dblp %P 375-392 %T Incremental Determinization. %U http://dblp.uni-trier.de/db/conf/sat/sat2016.html#RabeS16 %V 9710 %@ 978-3-319-40969-6

@inproceedings{conf/sat/RabeS16, added-at = {2017-05-23T00:00:00.000+0200}, author = {Rabe, Markus N. and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/211a9138ed43034e46e7a6870e85c5e9b/dblp}, booktitle = {SAT}, crossref = {conf/sat/2016}, editor = {Creignou, Nadia and Berre, Daniel Le}, ee = {https://doi.org/10.1007/978-3-319-40970-2_23}, interhash = {12ba28f5676801df8588eb32fd0182a1}, intrahash = {11a9138ed43034e46e7a6870e85c5e9b}, isbn = {978-3-319-40969-6}, keywords = {dblp}, pages = {375-392}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:11:16.000+0200}, title = {Incremental Determinization.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2016.html#RabeS16}, volume = 9710, year = 2016 }