Login / Signup
Paolo Marin
Publication Activity (10 Years)
Years Active: 2008-2017
Publications (10 Years): 2
Top Topics
Years Ago
Quantified Boolean Formulae
Preprocessing
Signature Verification
Top Venues
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Fundam. Informaticae
SAT
RCRA@AI*IA
</>
Publications
</>