Alberto Fiori

According to our database, Alberto Fiori authored at least 4 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories.

Martin Bromberger, Alberto Fiori, Christoph Weidenbach

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2020

SCL with Theory Constraints.

Alberto Fiori, Christoph Weidenbach

CoRR, 2020

2019

SCL Clause Learning from Simple Models.

Alberto Fiori, Christoph Weidenbach

Proceedings of the Automated Deduction - CADE 27, 2019

2018

Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper).

Alberto Fiori, Claudio Sacerdoti Coen

Proceedings of the Joint Proceedings of the CME-EI, 2018