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