FORMISANO, Andrea
FORMISANO, Andrea
Mostra
prodotti
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.009 secondi).
Accelerating energy games solvers on modern architectures
2017 Formisano, Andrea; Gentilini, Raffaella; Vella, Flavio
CUD@ASP: Experimenting with GPUs in ASP solving
2013 Vella, Flavio; Dal Palù, Alessandro; Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
On multiple learning schemata in conflict driven solvers
2014 Formisano, Andrea; Vella, Flavio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Accelerating energy games solvers on modern architectures | 2017 | Formisano, Andrea; Gentilini, Raffaella; Vella, Flavio | |
CUD@ASP: Experimenting with GPUs in ASP solving | 2013 | Vella, Flavio; Dal Palù, Alessandro; Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico | |
On multiple learning schemata in conflict driven solvers | 2014 | Formisano, Andrea; Vella, Flavio |