%0 Book Section %1 books/sp/18/HyvarinenW18 %A Hyvärinen, Antti E. J. %A Wintersteiger, Christoph M. %B Handbook of Parallel Constraint Reasoning %D 2018 %E Hamadi, Youssef %E Sais, Lakhdar %I Springer %K dblp %P 141-178 %T Parallel Satisfiability Modulo Theories. %U http://dblp.uni-trier.de/db/books/collections/HS2018.html#HyvarinenW18 %@ 978-3-319-63516-3

@incollection{books/sp/18/HyvarinenW18, added-at = {2019-09-16T00:00:00.000+0200}, author = {Hyvärinen, Antti E. J. and Wintersteiger, Christoph M.}, biburl = {https://www.bibsonomy.org/bibtex/25ff3a718afd3ee7cecba8a5dbe45fef4/dblp}, booktitle = {Handbook of Parallel Constraint Reasoning}, crossref = {books/sp/HS2018}, editor = {Hamadi, Youssef and Sais, Lakhdar}, ee = {https://doi.org/10.1007/978-3-319-63516-3_5}, interhash = {48f9ca33c79ed1f12e5a3aeba2997250}, intrahash = {5ff3a718afd3ee7cecba8a5dbe45fef4}, isbn = {978-3-319-63516-3}, keywords = {dblp}, pages = {141-178}, publisher = {Springer}, timestamp = {2019-09-17T13:09:36.000+0200}, title = {Parallel Satisfiability Modulo Theories.}, url = {http://dblp.uni-trier.de/db/books/collections/HS2018.html#HyvarinenW18}, year = 2018 }