Soler, Joan Ramon

Network Lab View Statistics Email Alert RSS Feed

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

jramonsoler@iiia.csic.es

Página web

Mi página en web IIIA

Otros identificadores (con url)

Scopus AuthorID

Results 1-4 of 4 (Search time: 0.011 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF DataCite Send via email

	Rights	Issue Date	Title	Author(s)	Type
1	closedAccess	19-May-2016	A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics	Soler, Joan Ramon CSIC ; Manyà, Felip CSIC ORCID	artículo
2	openAccess	19-Oct-2016	A Clause Tableau Calculus for MinSAT	Li, Chumin; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC	artículo
3	closedAccess	2021	Clause tableaux for maximum and minimum satisfiability	Argelich, Josep; Li, C.M.; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC	artículo
4	closedAccess	2020	Solving the Team Composition Problem in a Classroom	Manyà, Felip CSIC ORCID ; Negrete, Santiago; Roig, Carme; Soler, Joan Ramon CSIC	artículo