Alberto Fiori

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 4

Top Topics

Constraint Sets

Soft Constraints

Linear Programming

Top Venues

Publications

Martin Bromberger, Alberto Fiori, Christoph Weidenbach
Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories. VMCAI (2021)
Alberto Fiori, Christoph Weidenbach
SCL with Theory Constraints. CoRR (2020)
Alberto Fiori, Christoph Weidenbach
SCL Clause Learning from Simple Models. CADE (2019)
Alberto Fiori, Claudio Sacerdoti Coen
Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper). CICM Workshops (2018)