Login / Signup
Luca Pulina
ORCID
Publication Activity (10 Years)
Years Active: 2006-2024
Publications (10 Years): 57
Top Topics
Neural Network
Boolean Formula
Formal Verification
Consistency Checking
Top Venues
CoRR
AI*IA
IEA/AIE
CILC
</>
Publications
</>