📣 Try out the NEW Gateway to Research and let us know what you think.

We're looking for users to test the new service during August and September and share their feedback. Express your interest by completing this short form.

SC-Square: Future Progress with Machine Learning? (2022)

First Author: England M.

Attributed to: Embedding Machine Learning within Quantifier Elimination Procedures funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85142902868

Type: Other

Volume: 3273

Parent Publication: CEUR Workshop Proceedings

ISSN: 16130073