A Poly-algorithmic Quantifier Elimination Package in Maple (2019)

First Author: Tonks Z

Attributed to: Hybrid Techniques in Satisfiability funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract