Pasar al contenido principal
Català
English
Español
Formulario de búsqueda
Buscar
Log-in
Acerca del IIIA
Presentación
Historia
Contribuciones a la inteligencia artificial 1996 - 2001
Contributions to Artificial Intelligence 1986 - 1995
Ubicación
Trabaja con nosotros
Departamentos
Proyectos
Proyectos Actuales
Proyectos Finalizados
Publicaciones
Publications
Thesis
Personas
Felip Manyà
Personal actual
Personal anterior
Actividades
Seminarios
Conferencias
Doctoral Consortium
Noticias
Transferencia
25 aniversario
Usted está aquí
Home
>
Personal
>
Felip Manyà
Felip Manyà
Felip Manyà
Personal actual
Personal anterior
Departamento de Razonamiento y Lógica
Email:
felip@iiia.csic.es
Extension:
248
Position:
Scientific Staff
Publications
Projects
46 Publications
2017
Felip Manyà
,
Santiago Negrete
, Carme Roig, Joan Ramon Soler;
A MaxSAT-Based Approach to the Team Composition Problem in a Classroom
.
FIRST INTERNATIONAL WORKSHOP ON TEAMS IN MULTIAGENT SYSTEMS;
2017.
Download PDF
2015
Miquel Bofill,
Felip Manyà
,
Amanda Vidal
,
Mateu Villaret
;
Finding Hard Instances of Satisfiability in Lukasiewicz Logics
.
2015 IEEE International Symposium on Multiple-Valued Logic, ISMVL 2015;
2015.
Download PDF
Miquel Bofill,
Felip Manyà
,
Amanda Vidal
,
Mateu Villaret
;
The Complexity of 3-Valued Lukasiewicz Rules
.
12th Conference on Modeling Decisions for Artificial Intelligence (MDAI 2015);
2015.
Download PDF
2013
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
,
Felip Manyà
;
Resolution Procedures for Multiple-Valued Optimization
.
Information Sciences;
2013.
Download PDF
2012
Zhu Zhu,
Chu Min Li
,
Felip Manyà
,
J. Argerlich
;
A New Encoding from MinSAT into MaxSAT
.
CP 2012;
2012.
Download PDF
Carlos Ansótegui
,
Felip Manyà
;
A SAT-Based Approach to MinSAT
.
CCIA 2012;
2012.
Download PDF
Carlos Ansótegui
, Miquel Bofill,
Felip Manyà
,
Mateu Villaret
;
Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers
.
ISMVL 2012;
2012.
Download PDF
J. Argerlich
,
Alba Cabiscol
, Ines Lynce,
Felip Manyà
;
Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT
.
Multiple-Valued Logic and Soft Computing;
2012.
Download PDF
Chu Min Li
, Zhu Zhu,
Felip Manyà
, Laurent Simon;
Optimizing with minimum satisfiability
.
Artificial intelligence;
2012.
Download PDF
Ramon Bejar
,
Cesar Fernandez
,
Carles Mateu
,
Felip Manyà
, Francina Sole-Mauri, David Vidal;
The Automated Vacuum Waste Collection Optimization Problem
.
AAAI 2012;
2012.
Download PDF
2011
Pablo Almajano
,
Maite López-Sánchez
,
Marc Esteva
, Inmaculada Rodriguez;
An Assistance Infrastructure for open MAS
.
14th International Conference of the Catalan Association for Artificial Intelligence;
2011.
Download PDF
J. Argerlich
,
Chu Min Li
,
Felip Manyà
,
Jordi Planes
;
Analyzing the Instances of the MaxSAT Evaluation
.
14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011;
2011.
Download PDF
Cesar Fernandez
, Hector Geffner,
Felip Manyà
;
Artificial Intelligence Research and Development
.
;
2011.
Download PDF
J. Argerlich
,
Chu Min Li
,
Felip Manyà
,
Jordi Planes
;
Experimenting with the Instances of the MaxSAT Evaluation
.
14th International Conference of the Catalan Association for Artificial Intelligence;
2011.
Download PDF
Carlos Ansótegui
, Miquel Bofill,
Felip Manyà
,
Mateu Villaret
;
Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic
.
41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011;
2011.
Download PDF
Chu Min Li
, Zhu Zhu,
Felip Manyà
, Laurent Simon;
Minimum Satisfiability and Its Applications
.
22nd International Joint Conference on Artificial Intelligence, IJCAI 2011;
2011.
Download PDF
Carlos Ansótegui
,
Jordi Levy
;
On the Modularity of Industrial SAT Instances
.
Proc. of the 14th Int. Conf. of the ACIA, CCIA'11;
2011.
Download PDF
2010
Chu Min Li
,
Felip Manyà
, Zhe Quan, Zhu Zhu;
Exact MinSAT Solving
.
International Conference on Theory and Applications of Satisfiability Testing (SAT);
2010.
Download PDF
J. Argerlich
,
Alba Cabiscol
, Ines Lynce,
Felip Manyà
;
New Insights into Encodings from MaxCSP into Partial MaxSAT
.
40th IEEE International Symposium on Multiple-Valued Logic (ISMVL);
2010.
Download PDF
Chu Min Li
,
Felip Manyà
, Nouredine Ould Mohamedou,
Jordi Planes
;
Resolution-Based Lower Bounds in MaxSAT
.
Constraints;
2010.
Download PDF
2009
Chu Min Li
,
Felip Manyà
, Nouredine Ould Mohamedou,
Jordi Planes
;
Exploiting Cycle Structures in Max-SAT
.
12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009);
2009.
Download PDF
Chu Min Li
,
Felip Manyà
;
MaxSAT, Hard and Soft Constraints
.
Handbook of Satisfiability;
2009.
Download PDF
J. Argerlich
,
Alba Cabiscol
, Ines Lynce,
Felip Manyà
;
Sequential Encodings from Max-CSP into Partial Max-SAT
.
12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009);
2009.
Download PDF
2008
J. Argerlich
,
Felip Manyà
;
A Preprocessor for Max-SAT Solvers
.
11th International Conference on Theory and Applications of Satisfiability Testing (SAT-2008);
2008.
Download PDF
Teresa Alsinet
,
Felip Manyà
,
Jordi Planes
;
An Efficient Solver for Weighted Max-SAT
.
Journal of Global Optimization;
2008.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
,
Felip Manyà
;
Measuring the Hardness of SAT Instances
.
Proc. of the 23th AAAI Conference on Artificial Intelligence, AAAI-08;
2008.
Download PDF
J. Argerlich
,
Alba Cabiscol
, Ines Lynce,
Felip Manyà
;
Modelling Max-CSP as Partial Max-SAT
.
11th International Conference on Theory and Applications of Satisfiability Testing (SAT-2008);
2008.
Download PDF
J. Argerlich
,
Chu Min Li
,
Felip Manyà
,
Jordi Planes
;
The First and Second Max-SAT Evaluations
.
Journal on Satisfiability, Boolean Modeling and Computation;
2008.
Download PDF
Chu Min Li
,
Felip Manyà
, Nouredine O. Mohamedou,
Jordi Planes
;
Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation
.
14th International Conference on Principles and Practice of Constraint Programming (CP-2008);
2008.
Download PDF
2007
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
,
Felip Manyà
;
A Complete Resolution Calculus for Signed Max-SAT
.
Proc. of the 37th International Symposium on Multiple-Valued Logic, ISMVL'07;
2007.
Download PDF
1
2
siguiente
última
Internacional
01 Junio 2018
-
31 Mayo 2021
Jordi Levy
LOGISTAR
Enhanced data management techniques for real time logistics planning and scheduling
Plan Nacional
01 Enero 2016
-
31 Diciembre 2019
Lluís Godo
RASO
RAzonamiento, Satisfacción y Optimización
Otros
06 Septiembre 2017
-
30 Abril 2018
Pere García
VG
Virtual Guide
Intramural
01 Diciembre 2014
-
30 Noviembre 2017
Pedro Meseguer
Logal
Lógica y algoritmos
Plan Nacional
01 Septiembre 2007
-
31 Diciembre 2014
Carles Sierra
AT
Agreement Technologies
Plan Nacional
01 Enero 2011
-
31 Diciembre 2013
Jordi Levy
TASSAT
TASSAT: Teoría, Aplicaciones y Sinergia en SAT, CSP Y FDL
Otros
31 Diciembre 2011
-
30 Junio 2012
Josep Puyol-Gruart
AISLE
Artificial Intelligence Software for Logistics in Enterprises