Search
Now showing items 1-1 of 1
Verifica di Reti Neurali con Constraint Programming
(2024-03-27)
Il documento descrive la ricerca condotta al laboratorio Heudiasyc dell'Université de Technologie de Compiègne (UTC) e all'Università degli Studi di Genova sugli argomenti della verifica di reti neurali con Programmazione ...