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:
Fecha de Publicación:  [2000 TO 2025]

Resultados 1-20 de 32.

DerechosPreviewFecha Public.TítuloAutor(es)Tipo
1closedAccessaccesoRestringido.pdf.jpg19-may-2016A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued LogicsSoler, Joan Ramon CSIC ; Manyà, Felip CSIC ORCID artículo
2closedAccessaccesoRestringido.pdf.jpgjul-2019A branching heuristic for SAT solvers based on complete implication graphsXiao, Fan; Li, Chu Min; Luo, Mao; Manyà, Felip CSIC ORCID ; Lu, Zhipeng; Li, Yuartículo
3openAccess19-oct-2016A Clause Tableau Calculus for MinSATLi, Chumin; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC artículo
4closedAccessaccesoRestringido.pdf.jpg1-oct-2018A new upper bound for the maximum weight clique problemLi, Chu Min; Liu, Yanli; Jiang, Hua; Manyà, Felip CSIC ORCID ; Li, Yuartículo
5closedAccessaccesoRestringido.pdf.jpg2021A resolution calculus for MinSATLi, C.M.; Xiao, F.; Manyà, Felip CSIC ORCID artículo
6closedAccessaccesoRestringido.pdf.jpg2008An efficient solver for weighted Max-SATAlsinet, Teresa; Manyà, Felip CSIC ORCID ; Planes, Jordiartículo
7closedAccessaccesoRestringido.pdf.jpg2015Approximate dynamic programming for automated vacuum waste collection systemsFernández, César; Manyà, Felip CSIC ORCID ; Mateu, Carles; Sole-Mauri, Francinaartículo
8closedAccessaccesoRestringido.pdf.jpg2016Automated theorem provers for multiple-valued logics with satisfiability modulo theory solversAnsotegui, Carlos; Bofill, Miquel; Manyà, Felip CSIC ORCID ; Villaret, Mateuartículo
9closedAccessaccesoRestringido.pdf.jpg1-ene-2022Boosting branch-and-bound MaxSAT solvers with clause learningLi, Chu Min; Xu, Zhenxing; Coll, Jordi; Manyà, Felip CSIC ORCID ; Habet, Djamal; He, Kunartículo
10openAccesss44196-022-00143-z.pdf.jpg2022Clausal Forms in MaxSAT and MinSATLi, C M.; Manyà, Felip CSIC ORCID ; Joan Ramon Soler; Amanda Vidalartículo
11closedAccessaccesoRestringido.pdf.jpg2021Clause tableaux for maximum and minimum satisfiabilityArgelich, Josep; Li, C.M.; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC artículo
12openAccessClause 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
13openAccess29-ago-2016Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large GraphsJiang, Hua; Li, Chu Min; Manyà, Felip CSIC ORCID artículo
14closedAccessaccesoRestringido.pdf.jpg2012Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSATArgelich, Josep; Cabiscol, Alba; Lynce, Ines; Manyà, Felip CSIC ORCID artículo
15closedAccessaccesoRestringido.pdf.jpg22-may-2017Exploiting Many-Valued Variables in MaxSATArgelich, Josep; Li, Chumin; Manyà, Felip CSIC ORCID artículo
16closedAccessaccesoRestringido.pdf.jpg2007Exploiting multivalued knowledge in variable selection heuristics for SAT solversAnsotegui, Carlos; Larrubia, Jose; Li, Chumin; Manyà, Felip CSIC ORCID artículo
17openAccesss10732-022-09495-3.pdf.jpg2022Incomplete MaxSAT approaches for combinatorial testingCarlos Ansótegui; Manyà, Felip CSIC ORCID ; Josep M. Salvia; Eduard Torresartículo
18closedAccessaccesoRestringido.pdf.jpg2014Modeling energy consumption in automated vacuum waste collection systemsFernández, César; Manyà, Felip CSIC ORCID ; Mateu, Carles; Sole-Mauri, Francinaartículo
19openAccesss44196-022-00120-6.pdf.jpgago-2022Negative Learning Ant Colony Optimization for MaxSATTeddy Nurcahyadi; Blum, Christian CSIC ORCID ; Manyà, Felip CSIC ORCID artículo
20openAccessNew complexity results for Łukasiewicz logic.pdf.jpgabr-2019New complexity results for Lukasiewicz logicBofill, Miquel; Manyà, Felip CSIC ORCID ; Vidal, Amanda; Villaret, Mateuartículo