Christoph Weidenbach -

Not registered as user yet

Name:Christoph Weidenbach

Country:Germany

Affiliation:MPI-INF

Contributions

VMCAI 2021	Author of Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories within the VMCAI-track
CPP 2021	Committee Member in Program Committee within the CPP 2021-track