Not registered as user yet

Name: Peter Lammich

Affiliation: Technische Universit√§t M√ľnchen

Contributions

CPP 2018 A Verified SAT Solver with Watched Literals Using Imperative HOL
Show activities from other conferences

POPL 2018-profile
View general profile