ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Benjamin Kiesl

Registered user since Thu 31 Jan 2019

Name: Benjamin Kiesl

Country: Germany

Affiliation: CISPA Helmholtz Center for Information Security

Personal website: https://benjaminkiesl.github.io/

Contributions

TACAS 2019 Encoding Redundancy for Satisfaction-Driven Clause Learning
Show activities from other conferences

ETAPS 2019-profile
View general profile