%0 Journal Article %1 journals/cca/AbrahamA0BBBCDE16 %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 %D 2016 %J ACM Commun. Comput. Algebra %K %N 4 %P 145-147 %T Satisfiability checking and symbolic computation. %U http://dblp.uni-trier.de/db/journals/cca/cca50.html#AbrahamA0BBBCDE16 %V 50

@article{journals/cca/AbrahamA0BBBCDE16, added-at = {2023-12-12T19:54:08.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/274f1fc19cecc62bb1145fca9c6e642d9/admin}, ee = {https://www.wikidata.org/entity/Q59590563}, interhash = {27a1c910549a446528acee804151c3c7}, intrahash = {74f1fc19cecc62bb1145fca9c6e642d9}, journal = {ACM Commun. Comput. Algebra}, keywords = {}, number = 4, pages = {145-147}, timestamp = {2023-12-12T19:54:08.000+0100}, title = {Satisfiability checking and symbolic computation.}, url = {http://dblp.uni-trier.de/db/journals/cca/cca50.html#AbrahamA0BBBCDE16}, volume = 50, year = 2016 }