Registered user since Wed 9 Oct 2019
Name:Martin Bromberger
Country:Germany
Affiliation:MPI-INF
Research interests:SMT, Arithmetic, Combination of Theories
Contributions
| VMCAI 2021 | 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
View general profile