Andrea Cuteri

1 papers · 2026–2026 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐝 Cross-Pollinator (13)

Conferences

AAAI (1)

Top co-authors

Francesco Ricca (1) Giuseppe Mazzotta (1)

Keywords

symbolic reasoning (1) answer set programming (1) polynomial hierarchy (1) quantified asp (1)

Papers

2-ASP(Q) Solving Based on CEGAR AAAI 2026