Martin Bromberger -

Registered user since Wed 9 Oct 2019

Name:Martin Bromberger

Country:Germany

Affiliation:MPI-INF

Research interests:SMT, Arithmetic, Combination of Theories

Contributions

2021

VMCAI

Author of Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories within the VMCAI-track

2020

VMCAI

Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track