Foto:
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
 
 
Perfil en Google Scholar:
 
Otros identificadores (con url):
 
 
Email:
felip@iiia.csic.es
 

Results 1-20 of 20 (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 ; Manyà, Felip artículo
2openAccess19-Oct-2016A Clause Tableau Calculus for MinSATLi, Chumin; Manyà, Felip ; Soler, Joan Ramon artículo
3closedAccessaccesoRestringido.pdf.jpg2008An efficient solver for weighted Max-SATAlsinet, Teresa; Manyà, Felip ; Planes, Jordiartículo
4closedAccessaccesoRestringido.pdf.jpg2015Approximate dynamic programming for automated vacuum waste collection systemsFernández, Cèsar; Manyà, Felip ; Mateu, Carles; Solé-Mauri, Francinaartículo
5closedAccessaccesoRestringido.pdf.jpg2016Automated theorem provers for multiple-valued logics with satisfiability modulo theory solversAnsótegui̊, Carlos; Bofill, Miquel; Manyà, Felip ; Villaret, Mateuartículo
6openAccess29-Aug-2016Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large GraphsJiang, Hua; Li, Chu Min; Manyà, Felip artículo
7closedAccessaccesoRestringido.pdf.jpg2012Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSATArgelich, Josep; Cabiscol, Alba; Lynce, Ines; Manyà, Felip artículo
8closedAccessaccesoRestringido.pdf.jpg22-May-2017Exploiting Many-Valued Variables in MaxSATArgelich, Josep; Li, Chumin; Manyà, Felip artículo
9closedAccessaccesoRestringido.pdf.jpg2007Exploiting multivalued knowledge in variable selection heuristics for SAT solversAnsotegui, Carlos; Larrubia, Jose; Li, Chumin; Manyà, Felip artículo
10closedAccessaccesoRestringido.pdf.jpg2014Modeling energy consumption in automated vacuum waste collection systemsFernández, César; Manyà, Felip ; Mateu, Carles; Sole-Mauri, Francinaartículo
11closedAccessaccesoRestringido.pdf.jpg2007New inference rules for max-SATLi, Chumin; Manyà, Felip ; Planes, Jordiartículo
12closedAccessaccesoRestringido.pdf.jpg2017On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problemLi, Chumin; Jiang, Hua; Manyà, Felip artículo
13closedAccessaccesoRestringido.pdf.jpg2012Optimizing with minimum satisfiabilityLi, Chumin; Zhu, Zhu; Manyà, Felip ; Simon, Laurentartículo
14closedAccessaccesoRestringido.pdf.jpg2011Preface: Artificial intelligence research and developmentFernandez, Cesar; Geffner, Hector; Manyà, Felip artículo
15closedAccessaccesoRestringido.pdf.jpg2007Regular-SAT: A many-valued approach to solving combinatorial problemsBejar, Ramon; Manyà, Felip ; Cabiscol, Alba; Fernandez, Cesar; Gomes, Carlaartículo
16closedAccessaccesoRestringido.pdf.jpg2007Resolution for Max-SATBonet, M. Luisa; Levy, Jordi ; Manyà, Felip artículo
17closedAccessaccesoRestringido.pdf.jpg2013Resolution procedures for multiple-valued optimizationAnsotegui, Carlos; Bonet, María L.; Levy, Jordi ; Manyà, Felip artículo
18closedAccessaccesoRestringido.pdf.jpg2010Resolution-based lower bounds in MaxSATLi, Chumin; Manyà, Felip ; Mohamedou, Nouredine O.; Planes, Jordiartículo
19closedAccessaccesoRestringido.pdf.jpg2015SAT and SMT technology for many-valued logicsAnsótegui, Carlos; Bofill, Miquel; Manyà, Felip ; Villaret, Mateuartículo
20closedAccessaccesoRestringido.pdf.jpg25-Oct-2017Solving MaxSAT with Natural DeductionCasas-Roma, Joan; Huertas, M. Antonia; Manyà, Felip artículo