Instantiation and pretending to be an SMT solver with VAMPIRE
Paper i proceeding, 2017
Författare
G. Reger
University of Manchester
M. Suda
Technische Universität Wien
Andrei Voronkov
Chalmers, Data- och informationsteknik, Formella metoder
15th International Workshop on Satisfiability Modulo Theories, SMT 2017, Heidelberg, Germany, 22-23 July 2017
1613-0073 (ISSN)
Vol. 1889Ämneskategorier
Matematisk analys