Author

Salvatore Fiorentino

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Sep 2026

Integration of Minimal Reasons in AMOSUM Constraints

This paper proposes and formalizes two new minimization algorithms that guarantee subset-minimal reasons and ensures cardinality-minimal reasons in the AMOSUM constraint and demonstrates that extending the solver wasp with these minimization strategies leads to substantial performance improvements.

Salvatore Fiorentino · Intelligenza Artificiale · 0 citations

AMO-Aware Optimization in Answer Set Programming ★

This work introduces amomaximize, a novel maximization statement that integrates AMO constraints directly into the objective function, and shows that, in specific scenarios, this approach improves performance compared to clingo.

Mario Alviano, Carmine Dodaro, Salvatore Fiorentino · 0 citations