Evolutionary Virtual Term Substitution in a Quantifier Elimination System (2019)

First Author: Tonks Z

Attributed to: Hybrid Techniques in Satisfiability funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://ceur-ws.org/Vol-2460/paper7.pdf

Type: Conference/Paper/Proceeding/Abstract