Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Boolector"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
This paper serves as solver description for our SMT solver Boolector as entered into the SMT Competition 2018. We only list important differences to the version of Boolector that entered the SMT Competition 2017
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aa06fd06b0b40680990c9264a9191c33
https://epub.jku.at/doi/10.35011/fmvtr.2018-1
https://epub.jku.at/doi/10.35011/fmvtr.2018-1
This paper serves as solver descrip tion for our SMT solver Boolector as entered into the SMT Competition 2017. We only list important differences to the version of Boolector that entered the SMT Competition 2016.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6556e6c17a000133a5e9ea5d2a8b94c8
This paper serves as solver description for our SMT solver Boolector, entering the SMT Competition 2016 in two different configurations. We only list important differences to earlier version of Boolector in the SMT Competition 2015.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a1b5c4118b3ce6769669e7312afe4b57
https://epub.jku.at/doi/10.35011/fmvtr.2016-1
https://epub.jku.at/doi/10.35011/fmvtr.2016-1
This paper serves as solver description for our SMT solver Boolector entering the SMT Competition 2014 in three different configurations. We only list important differences to the earlier version of Boolector that participated in the SMT Competition
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db7f98ef872c5bd8fd472392768b0e65
https://epub.jku.at/doi/10.35011/fmvtr.2014-1
https://epub.jku.at/doi/10.35011/fmvtr.2014-1
Autor:
Biere, Armin
This note serves as machine description for Boolector entering the SMT Competition 2012. Boolector has been originally developed by Robert Brummayer and Armin Biere at the FMV institute. Since 2009 is maintained and extended by Armin Biere.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b07784966dd79da902093fd756f3f85e
https://epub.jku.at/doi/10.35011/fmvtr.2012-1
https://epub.jku.at/doi/10.35011/fmvtr.2012-1
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.