Login / Signup
André de Matos Pedro
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 5
Top Topics
Sat Solvers
Clause Learning
Temporal Properties
Propositional Satisfiability
Top Venues
Int. J. Softw. Tools Technol. Transf.
SIGBED Rev.
Ada-Europe
TASE
</>
Publications
</>