Not registered as user yet

Name:Alberto Fiori
Country:Germany
Affiliation:Max Planck Institute for Informatics

Contributions

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