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://logic-cs.at/phd/students/benjamin-kiesl/

Contributions

TACAS 2019Author of Encoding Redundancy for Satisfaction-Driven Clause Learning within the TACAS 2019-track
Show activities from other conferences

Using general profile