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 |
Externí odkaz: |