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 |
Using general profile