%0 Conference Paper %1 conf/cav/WintersteigerHM09 %A Wintersteiger, Christoph M. %A Hamadi, Youssef %A de Moura, Leonardo Mendonça %B CAV %D 2009 %E Bouajjani, Ahmed %E Maler, Oded %I Springer %K dblp %P 715-720 %T A Concurrent Portfolio Approach to SMT Solving. %U http://dblp.uni-trier.de/db/conf/cav/cav2009.html#WintersteigerHM09 %V 5643 %@ 978-3-642-02657-7

@inproceedings{conf/cav/WintersteigerHM09, added-at = {2019-09-16T00:00:00.000+0200}, author = {Wintersteiger, Christoph M. and Hamadi, Youssef and de Moura, Leonardo Mendonça}, biburl = {https://www.bibsonomy.org/bibtex/24554e2e1f622007bba5985e1a27ac7f4/dblp}, booktitle = {CAV}, crossref = {conf/cav/2009}, editor = {Bouajjani, Ahmed and Maler, Oded}, ee = {https://doi.org/10.1007/978-3-642-02658-4_60}, interhash = {14f8feae5f9de733ea8a2150336c075b}, intrahash = {4554e2e1f622007bba5985e1a27ac7f4}, isbn = {978-3-642-02657-7}, keywords = {dblp}, pages = {715-720}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T13:38:47.000+0200}, title = {A Concurrent Portfolio Approach to SMT Solving.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2009.html#WintersteigerHM09}, volume = 5643, year = 2009 }