1. DIGITAL.CSIC

Manyà, Felip

Colaboraciones Ver estadísticas de uso Alertas por Email RSS

Perfil

img-20161009-wa0000_0.jpg picture
 
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
 
Email
felip@iiia.csic.es
 
ORCID
 
Perfil en Google Scholar
 
Página web
 
Otros identificadores (con url)
 

Publications


Refined By:
Autor:  Manyà, Felip
Palabras Clave:  Conflict-driven clause learning
Palabras Clave:  Satisfiability

Resultados 1-1 de 1.

DerechosPreviewFecha Public.TítuloAutor(es)Tipo
1openAccessClause Vivification by Unit Propagation in CDCL SAT Solvers.pdf.jpg2020Clause vivification by unit propagation in CDCL SAT solversLi, C.M.; Xiao, F.; Luo, Mao; Manyà, Felip CSIC ORCID ; Lü, Z.; Li, Y.artículo