Boolector Entering the SMT Competition 2012

Autor:	Biere, Armin
Jazyk:	angličtina
Rok vydání:	2012
Předmět:	Boolector machine description SAT solver
DOI:	10.35011/fmvtr.2012-1
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b07784966dd79da902093fd756f3f85e https://epub.jku.at/doi/10.35011/fmvtr.2012-1 Zobrazit plný text záznamu