joanramon_1.jpg picture
 
Firma en Digital.CSIC (*)
Soler, Joan Ramon
 
Centro o Instituto
CSIC - Instituto de Investigación en Inteligencia artificial (IIIA)
 
Departamento
Departamento de Razonamiento y Lógica
 
Categoría Profesional
Estudiante de doctorado
 
Especialización
Inteligencia Artificial
 
Email
jramonsoler@iiia.csic.es
 
 
Otros identificadores (con url)
 

Resultados 1-3 de 3.

DerechosPreviewFecha Public.TítuloAutor(es)Tipo
1openAccess22-may-2019Clausal Form Transformation in MaxSATMin Li, Chu; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC comunicación de congreso
2openAccess3-sep-2019A Tableau Calculus for Non-clausal Maximum SatisfiabilityMin Li, Chu; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC comunicación de congreso
3closedAccessaccesoRestringido.pdf.jpg9-jul-2016A Clause Tableau Calculus for MaxSATLi, Chu Min; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC comunicación de congreso