%0 Conference Paper %1 conf/mkm/AbrahamABBBBCDE16 %A Ábrahám, Erika %A Abbott, John %A Becker, Bernd %A Bigatti, Anna Maria %A Brain, Martin %A Buchberger, Bruno %A Cimatti, Alessandro %A Davenport, James H. %A England, Matthew %A Fontaine, Pascal %A Forrest, Stephen %A Griggio, Alberto %A Kroening, Daniel %A Seiler, Werner M. %A Sturm, Thomas %B CICM %D 2016 %E Kohlhase, Michael %E Johansson, Moa %E Miller, Bruce R. %E de Moura, Leonardo %E Tompa, Frank Wm. %I Springer %K %P 28-43 %T SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). %U http://dblp.uni-trier.de/db/conf/mkm/cicm2016.html#AbrahamABBBBCDE16 %V 9791 %@ 978-3-319-42546-7

@inproceedings{conf/mkm/AbrahamABBBBCDE16, added-at = {2023-12-12T22:37:54.000+0100}, author = {Ábrahám, Erika and Abbott, John and Becker, Bernd and Bigatti, Anna Maria and Brain, Martin and Buchberger, Bruno and Cimatti, Alessandro and Davenport, James H. and England, Matthew and Fontaine, Pascal and Forrest, Stephen and Griggio, Alberto and Kroening, Daniel and Seiler, Werner M. and Sturm, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/22da5a33c22d47e9fc08e5e52d40af9a7/admin}, booktitle = {CICM}, crossref = {conf/mkm/2016}, editor = {Kohlhase, Michael and Johansson, Moa and Miller, Bruce R. and de Moura, Leonardo and Tompa, Frank Wm.}, ee = {https://www.wikidata.org/entity/Q59590561}, interhash = {4c532e440787222fda746bbe397d9cf3}, intrahash = {2da5a33c22d47e9fc08e5e52d40af9a7}, isbn = {978-3-319-42546-7}, keywords = {}, pages = {28-43}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T22:37:54.000+0100}, title = {SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper).}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2016.html#AbrahamABBBBCDE16}, volume = 9791, year = 2016 }