Levy, Jordi
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
Email
levy@iiia.csic.es
Perfil en Google Scholar
Página web
Otros identificadores (con url)
Palabras clave
Fulltext
Resultados 1-3 de 3.