English
 
User Manual Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT

MPS-Authors
/persons/resource/persons73108

Sturm,  Thomas
Automation of Logic, MPI for Informatics, Max Planck Society;

Locator
Fulltext (public)
There are no public fulltexts available
Supplementary Material (public)
There is no public supplementary material available
Citation

Fontaine, P., Ogawa, M., Sturm, T., To, V. K., & Vu, X. T. (2018). Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. In A. M. Bigatti, & M. Brain (Eds.), Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference (pp. 110-117). CEUR-WS.


Cite as: http://hdl.handle.net/21.11116/0000-0002-E8AB-8
Abstract
There is no abstract available