The SMT Competition 2015–2018

Autor: David Déharbe, Aina Niemetz, Giles Reger, Sylvain Conchon, Matthias Heizmann, Tjark Weber
Rok vydání: 2019
Předmět:
Zdroj: Journal on Satisfiability, Boolean Modeling and Computation. 11:221-259
ISSN: 1574-0617
DOI: 10.3233/sat190123
Databáze: OpenAIRE