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

[  17 ]

Publications of Tom van Dijk

2017

Best paper
Wytse Oortwijn, Tom van Dijk and Jaco van de Pol. Distributed Binary Decision Diagrams for Symbolic Reachability. In SPIN 2017, pages 21-30, ACM 2017.
[ paper | bibtex | DOI ]

Tom van Dijk, Robert Wille and Robert Meolic. Tagged BDDs: Combining reduction rules from different decision diagram types. In: FMCAD 2017, pages 108-115, IEEE 2017.
[ paper | bibtex | DOI ]