%0 Conference Paper %1 conf/cade/AbrahamA0BBCDEF17 %A Ábrahám, Erika %A Abbott, John %A Becker, Bernd %A Bigatti, Anna Maria %A Brain, Martin %A Cimatti, Alessandro %A Davenport, James H. %A England, Matthew %A Fontaine, Pascal %A Forrest, Stephen %A Ganesh, Vijay %A Griggio, Alberto %A Kroening, Daniel %A Seiler, Werner M. %B ARCADE@CADE %D 2017 %E Reger, Giles %E Traytel, Dmitriy %I EasyChair %K dblp %P 6-10 %T SC-square: when Satisfiability Checking and Symbolic Computation join forces. %U http://dblp.uni-trier.de/db/conf/cade/arcade2017.html#AbrahamA0BBCDEF17 %V 51

@inproceedings{conf/cade/AbrahamA0BBCDEF17, added-at = {2022-01-31T00:00:00.000+0100}, author = {Ábrahám, Erika and Abbott, John and Becker, Bernd and Bigatti, Anna Maria and Brain, Martin and Cimatti, Alessandro and Davenport, James H. and England, Matthew and Fontaine, Pascal and Forrest, Stephen and Ganesh, Vijay and Griggio, Alberto and Kroening, Daniel and Seiler, Werner M.}, biburl = {https://www.bibsonomy.org/bibtex/24ab90ee6a463037a9119cd1a88bd5f2c/dblp}, booktitle = {ARCADE@CADE}, crossref = {conf/cade/2017arcade}, editor = {Reger, Giles and Traytel, Dmitriy}, ee = {https://doi.org/10.29007/p319}, interhash = {784a264a26a90c80ba160a977f268f68}, intrahash = {4ab90ee6a463037a9119cd1a88bd5f2c}, keywords = {dblp}, pages = {6-10}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T18:55:11.000+0200}, title = {SC-square: when Satisfiability Checking and Symbolic Computation join forces.}, url = {http://dblp.uni-trier.de/db/conf/cade/arcade2017.html#AbrahamA0BBCDEF17}, volume = 51, year = 2017 }