ETAPS 2019 (series) / 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
View general profile