Christoph Weidenbach - POPL 2021

Write a Blog >>

Sun 17 - Fri 22 January 2021 Online

Not registered as user

Name:Christoph Weidenbach

Country:Germany

Affiliation:MPI-INF

Contributions

2021

CPP

Committee Member in Program Committee within the CPP 2021-track

VMCAI

Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories

Show activities from other conferences

POPL 2021-profile
View general profile