JKU

TNF / INF

team
contact
software
publications
teaching
jobs


GI-Dissertation Award 2020

FMCAD'20 Student Forum Best Student Contribution

SAT'20 Best Presentation Award

GCAI'19 Post and Interaction Award

IJCAI-JAIR 2019 Award

SAT'19 Best Student Paper

CAV'18 Award

HVC'17 Best Paper

ETAPS'17 Test of Time Award

HVC'15 Award

FMCAD'17 Best Paper

CADE'17 Best Paper

BMC

Handbook of Satisfiability

UML@Classroom

UML@Classroom

www.digitaltechnik.org

CAV 2018 Artifact Evaluation

BTOR2, BtorMC and Boolector 3.0

Aina Niemetz, Mathias Preiner, Clifford Wolf and Armin Biere

Overview

This site provides all materials to reproduce our experimental evaluation for our paper "BTOR2, BtorMC and Boolector 3.0" at CAV 2018.

It also currently links to all resources used in our upcoming new word-level track in the HWMCC'19.

Paper

Aina Niemetz, Mathias Preiner, Clifford Wolf, Armin Biere.
Btor2, BtorMC and Boolector 3.0.
In Proc. 30th Intl. Conf. on Computer Aided Verification (CAV'18),
Lecture Notes in Computer Science (LNCS),
vol. 10981, pages 587-595, Springer 2018.

[ paper | bibtex | btor2tools | boolector | experiments ]

Downloads

Material used in the experimental evaluation of the paper:

See also the Github page of the Btor2Tools and Boolector: