CUTERI, ANDREA
CUTERI, ANDREA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.011 secondi).
2-ASP(Q) Solving Based on CEGAR
2026-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
Automata-based LTL_f Satisfiability Checking via ASP
2024-01-01 Cuteri, Andrea; Mazzotta, Giuseppe; Peñaloza, Rafael; Ricca, Francesco
Enhancing Compilation-based ASP Solving with Postponed Atom Discovery
2025-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
Lazy Atom Discovery in Compilation-Based ASP Solving
2025-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
Toward Executing Datalog on Big Data Platforms
2025-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
Toward Executing Datalog on Big Data Platforms - Extended Abstract
2025-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 2-ASP(Q) Solving Based on CEGAR | 1-gen-2026 | Cuteri, A.; Mazzotta, G.; Ricca, F. | |
| Automata-based LTL_f Satisfiability Checking via ASP | 1-gen-2024 | Cuteri, Andrea; Mazzotta, Giuseppe; Peñaloza, Rafael; Ricca, Francesco | |
| Enhancing Compilation-based ASP Solving with Postponed Atom Discovery | 1-gen-2025 | Cuteri, A.; Mazzotta, G.; Ricca, F. | |
| Lazy Atom Discovery in Compilation-Based ASP Solving | 1-gen-2025 | Cuteri, A.; Mazzotta, G.; Ricca, F. | |
| Toward Executing Datalog on Big Data Platforms | 1-gen-2025 | Cuteri, A.; Mazzotta, G.; Ricca, F. | |
| Toward Executing Datalog on Big Data Platforms - Extended Abstract | 1-gen-2025 | Cuteri, A.; Mazzotta, G.; Ricca, F. |