#algoritmo
-
July 3, 2023Thoralf Skolem Award 2023There is also Alessandro Cimatti (FBK) among the signatories of the most influential field study over the period 2002-2022, which won the Thoralf Skolem 2023 award, presented yesterday in Rome at the CADE-29 conference.