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 2019Author of Encoding Redundancy for Satisfaction-Driven Clause Learning within the TACAS 2019-track