Manyà, Felip

Colaboraciones Ver estadísticas de uso Alertas por Email RSS

Firma en Digital.CSIC (*)

Manyà, Felip

Centro o Instituto

CSIC - Instituto de Investigación en Inteligencia artificial (IIIA)

Departamento

Departamento de Razonamiento y Lógica

Categoría Profesional

Staff científico

Especialización

Inteligencia Artificial

felip@iiia.csic.es

ORCID

0000-0002-8366-1458

Perfil en Google Scholar

My Google Scholar Citations

Página web

Mi página en web IIIA

Otros identificadores (con url)

Scopus AuthorID
ResearchedID

Refined By:

Autor: Manyà, Felip

Palabras Clave: Conflict-driven clause learning

Autor: Xiao, Fan

Resultados 1-1 de 1.

Refman EndNote Bibtex RefWorks Excel CSV PDF DataCite Send via email

		Derechos	Preview	Fecha Public.	Título	Autor(es)	Tipo
	1	closedAccess		jul-2019	A branching heuristic for SAT solvers based on complete implication graphs	Xiao, Fan; Li, Chu Min; Luo, Mao; Manyà, Felip CSIC ORCID ; Lu, Zhipeng; Li, Yu	artículo