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

Contributions

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

ETAPS 2019-profile
View general profile