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):
 

Results 1-3 of 3 (Search time: 0.001 seconds).

RightsPreviewIssue DateTitleAuthor(s)Type
1closedAccessaccesoRestringido.pdf.jpg19-May-2016A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued LogicsSoler, Joan Ramon CSIC ; Manyà, Felip CSIC ORCID artículo
2openAccess19-Oct-2016A Clause Tableau Calculus for MinSATLi, Chumin; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC artículo
3closedAccessaccesoRestringido.pdf.jpg2020Solving the Team Composition Problem in a ClassroomManyà, Felip CSIC ORCID ; Negrete, Santiago; Roig, Carme; Soler, Joan Ramon CSIC artículo