You are here

home / /
Back to Top

João Paulo Marques Da Silva

(Em Ciências até Setembro de 2019)

Indicadores

ResearcherID
Orcid
Scopus
Google Scholar

Keywords

  • Constraint Programming
  • Computational Logic
  • Software Verification
  • Combinatorial Optimization
  • Artificial Intelligence