Statistics
Publications
35
Citations
1.2K
H-Index
21
Active since
1998
Armando Tacchella is an author at University of Genoa specializing in computer science, computing, and algorithms.
Publications per year
1998–2023
35
35
Challenging SMT solvers to verify neural networks
Luca Pulina, Armando Tacchella · AI Communications · 2012 · 127 citations
1–5 of 35