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