Levy, Jordi

Colaboraciones Ver estadísticas de uso Alertas por Email RSS

Firma en Digital.CSIC (*)

Levy, Jordi

Otras firmas

Levy Díaz, Jorge

Centro o Instituto

CSIC -Instituto de Inteligencia Artificial (IIIA)

Categoría Profesional

Científico Titular

Especialización

SAT and MaxSAT solvers, Modelization of real-world SAT problems, Automated Deduction, Higher-Order Logics, Unification algorithms, Type Theory

levy@iiia.csic.es

ORCID

http://orcid.org/0000-0001-5883-5746

Perfil en Google Scholar

Mi Google Scholar Citations

Página web

Página en web IIIA

Otros identificadores (con url)

Scopus Author ID
ResearcherID