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