EasyChair Smart SlideDocs/Log in
Author: Dirk Nowotka

This page shows all presentations of this author published in EasyChair Smart Slide.

Statistical Model Checking of LLVM Code

Statistical Model Checking of LLVM Code

Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen and Louis-Marie Traonouez

Tuning Parallel SAT Solvers

Tuning Parallel SAT Solvers

Thorsten Ehlers and Dirk Nowotka

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair