Benjamin Kiesl - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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

2019

TACAS

Encoding Redundancy for Satisfaction-Driven Clause Learning

Show activities from other conferences

ETAPS 2019-profile
View general profile