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

DIFTS'13: Lemmas On Demand for Lambdas

Overview

This site provides binaries, benchmarks and log files supplementing our submission to the DIFTS workshop 2013 and is intended for reviewing purposes only. You are not allowed to use any of the materials provided, otherwise.

Download

Download binaries, benchmarks and log files for our experimental evaluation here.