Jordi Planes' home page


My current point of interest is the MaxSat problem solving.

I am currently in a Lecturer position (Lector) at the Universitat de Lleida.

I am a member of the Artificial Intelligence Research Group.

  Photograph of Jordi Planes

Fast links: Publications | Software | Teaching | International

Publications

Also available at DBLP, Google Scholar.

2013

- Alexey Ignatiev, Antonio Morgado, Jordi Planes, and Joao Marques-Silva. Maximal Falsifiability: Definitions, Algorithms, and Applications. In proceedings of 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 19). 2013.
DOI
- Antonio Morgado, Federico Heras, Mark Liffiton, Jordi Planes, Joao Marques-Silva. Iterative and core-guided MaxSAT solving: A survey and assessment. Constraints, 2013.
DOI

2012

- Federico Heras, Antonio Morgado, Jordi Planes, Joao Marques-Silva. Iterative SAT Solving for Minimum Satisfiability. In Proceedings of the 24th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2012). p. 922-927. November 2012.
DOI

2011

- Josep Argelich, Chu Min Li, Felip Manya and Jordi Planes. Experimenting with the Instances of the MaxSAT Evaluation. In Proceedings of the International Conference of the Catalan Associacion for Artificial Intelligence (CCIA 2011).
DOI
- Josep Argelich, Chu Min Li, Felip Manya and Jordi Planes. Analyzing the Instances of the MaxSAT Evaluation. In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT 2011). p. 360-361. 2011.
DOI
- Joao Marques-Silva, and Jordi Planes. Algorithms for Maximum Satisfiability using Unsatisfiable Cores. Book chapter. p. 171-182. Springer. 2011.
Link

2010

- Chu Min Li, Felip Manya, Nouredine Ould Mohamedou, Jordi Planes. Resolution-based lower bounds in MaxSAT. Constraints, 15,4 : 456 - 484. 2010.
DOI

2009

- Teresa Alsinet, David Barroso, Ramón Béjar and Jordi Planes. A Formal Model of Competence-Based Assessment. In Proceedings of the 12th International Conference of the Catalan Associacion for Artificial Intelligence (CCIA 2009). p. 428-436. October 2009.
DOI
- Vasco Manquinho, Joao Marques-Silva and Jordi Planes. Algorithms for Weighted Boolean Optimization. In Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009). p. 495-508. June 2009.
DOI
- Chu Min Li, Felip Manya, Nouredine Ould Mohamedou and Jordi Planes. Exploiting Cycle Structures in Max-SAT. In Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009). p. 467-480. June 2009.
PDF DOI
-Ramón Béjar, Alba Cabiscol, Felip Manya, Jordi Planes.Generating Hard Instances for MaxSAT. In Proceedings of 39th International Symposium on Multiple-Valued Logic (ISMVL 2009). p. 191-195. May 2009.
DOI

2008

- Jordi Planes. Design and Implementation of Exact MAX-SAT Solvers. Monografies de l'Institut d'Investigacio en Intel.ligencia Artificial. 2008.
pdf
- Josep Argelich, Chu Min Li, Felip Manya, Jordi Planes. The First and Second Max-SAT Evaluations. In Journal on Satisfiability, Boolean Modeling and Computation (JSAT). 4:251-278, 2008.
Link
- Chu Min Li, Felip Manya, Nouredine Ould Mohemedou, Jordi Planes. Transforming Incosistent Subformulas in MaxSAT Lower Bound Computation. In Proceedings of 14th International Conference on Principles and Practice of Constraint Programming (CP 08). September 2008.
DOI
- Paulo Matos, Jordi Planes, Florian Letombe, Joao Marques-Silva. A MAX-SAT Algorithm Portfolio. In Proceedings of 18th European Conference on Artificial Intelligence (ECAI 08). July 2008.
PDF
- Chu Min Li, Felip Manya, Nouredine Ould Mohemedou, Jordi Planes. Combinaison des règles d'inférence et de la sous-estimation des bornes inférieures pour Max-SAT. In Proceedings of the Quatrièmes Journées Francophones de Programmation par Contraintes (JFPC 2008). June 2008.
PDF
-Joao Marques-Silva, and Jordi Planes. Algorithms for Maximum Satisfiability using Unsatisfiable Cores. In Proceedings of Design, Automation and Test in Europe (DATE 08). March 2008.
PDF
-Teresa Alsinet, Felip Manya, and Jordi Planes. An Efficient Solver for Weighted Max-SAT. In Journal of Global Optimization (JOGO). 41:61-73, 2008.
DOI

2007

-Chu Min Li, Felip Manya, and Jordi Planes. New Inference Rules for Max-SAT. In Journal of Artificial Intelligence Research (JAIR), 30:321-359. 2007.
Link

2006

- Chu Min Li, Felip Manya, and Jordi Planes. Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT. In Proceedings of Twenty-First National Conference on Artificial Intelligence (AAAI 2006). July 2006.
PDF
- Josep Argelich, Xavier Domingo, Chu Min Li, Felip Manya, and Jordi Planes. Towards Solving Many-Valued MaxSAT. In Proceedings of the 36th International Symposium on Multiple-Valued Logic (ISMVL 2006). May 2006.
PDF

2005

- Chu Min Li, Felip Manya, and Jordi Planes. Exploiting Unit Propagation to Compute Lower Bounds in Branch anb Bound Max-SAT Solvers. In Proceedings of Eleventh International Conference on Principles and Practice of Constraint Programming (CP 2005). October 2005.
PDF Link to Springer
- Teresa Alsinet, Felip Manya and Jordi Planes. Improved Exact Solvers for Weighted Max-SAT . In Proceedings of Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT 2005). June 2005.
PDF Link to Springer

2004

- Teresa Alsinet, Felip Manya and Jordi Planes. A Max-SAT Solver with Lazy Data Structures . In Proceedings of Ninth Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004). November 2004.
PDF Link to Springer
- Teresa Alsinet, Felip Manya and Jordi Planes. A Max-SAT Solver with Lazy Data Structures . In Proceedings of Fifth International Conference on Computer Science (MCO 2004), 2004.

2003

- Teresa Alsinet, Felip Manya and Jordi Planes. Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT. In Proceedings of Sixth Catalan Conference on Artificial Intelligence (CCIA 2003). October 2003.
PostScript, BibTex
- Jordi Planes, Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT. In Proceedings of Ninth International Conference on Principles and Practice of Constraint Programming (CP 2003). September 2003.
PDF
Link to Springer
- Teresa Alsinet, Felip Manya and Jordi Planes. Improved Branch and Bound Algorithms for Max-SAT. In Proceedings of Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003). May 2003.
PostScript, BibTex

2000

- Jordi Castella-Roca, Josep Domingo-Ferrer, Jordi Herrera Joancomarti and Jordi Planes, A performace comparison of Java Cards for micropayment implementation. In Proceedings of Fourth Working Conference on Smart Card Research and Advanced Applications, of IFIP CARDIS'2000, eds. J. Domingo-Ferrer, D. Chan and A. Watson, Norwell MA: Kluwer Academic Publishers, 2000, pp. 19-38. ISBN 0-7923-7953-5. (CARDIS'2000),
PostScript, BibTex

- Jordi Castella, Jordi Planes, Josep Domingo-Ferrer y Jordi Herrera Joancomarti, ``Análisis comparativo de tarjetas Java para aplicaciones de comercio electrónico'', en Criptología y Seguridad de la Información, eds. P. Caballero and M. C. Hernández, Madrid: RA-MA Ediciones, 2000, pp. 225-231. ISBN 84-7897-431-8
PDF,


Software

MAX-SAT solvers I developed.

Activities

.
- Member of Program Commitee of 10th Workshop on Preferences and Soft Constraints.
- Co-organizer of MAX-SAT Evaluation 2006, MAX-SAT Evaluation 2007, MAX-SAT Evaluation 2008, MAX-SAT Evaluation 2009. MAX-SAT Evaluation 2010
- Co-organizer of Robocode 2010 - Universitat de Lleida.
- Member of Program Commitee of CCIA'08.

Seminars

- A MaxSAT solver with Lazy Data structures. In Séminaires du LaRIA (Séminaires du LaRIA). February 2005.
- Improved Branch and Bound Algorithms for Max-SAT and Weighted Max-SAT. In AI Problem Solving Seminar (AI Problem Seminar). May 2003.

Teaching

- System Integration. Electronics Degree. Universitat de Lleida. 2013-2014
- Compilers. Computer Engineering Degree. Universitat de Lleida. 2013-2014
- Artificial Intelligence Advanced Programming. Computer Engineering Degree. Universitat de Lleida. 2012-2013, 2013-2014
- Project and Innovation Management. Computer Engineering Master. Universitat de Lleida. 2012-2013, 2013-2014
- Open Source. Summer School. Universitat de Lleida. 2012.
- Algorithms. Computer Engineering Degree. Universitat de Lleida. 2011-2012, 2012-2013, 2013-2014
- Dynamic Programming Languages. Master. Universitat de Lleida. 2011-2012.
- Open Source Projects Development. Master. Universitat de Lleida. 2010-2011, 2011-2012.
- Logic (Laboratory). Degree. Universitat de Lleida. 2009-2010.
- Xarxes II. Master. Universitat de Lleida. 2007-2008, 2008-2009.
- Sistemes Inteŀligents. Master. Universitat de Lleida. 2007-2008, 2008-2009, 2009-2010, 2010-2011.
- Processadors del llenguatge. Master. Universitat de Lleida. 2008-2009, 2009-2010, 2010-1011.
- Demonstration in Compiler Engineering. Degree. University of Southampton. 2007.
- Realitzar presentacions amb eines informàtiques. Institut de Ciències de l'Educació. Lleida. November 2004.
- Creació de pàgines web dinàmiques. Universitat d'Estiu UdL. July 2004.
- Introduction to LaTeX Institut de Ciències de l'Educació (ICE). Lleida. March 2003.
- Mètodes i Tècniques de la programació (laboratory). 2003-2004, 2004-2005, 2005-2006.

Research Projects

- MiCInn project: Sistemas eficientes de razonamiento automático.
Ref.: TIN2009-14704-C03-01, Years: 2010-2013.
- Vertigo: Verification and Validation of Embedded System Design Workbench.
Ref.: IST-033709, Years: 2008.
- MCyT project: SoftSAT: Resolución de problemas combinatorios con restricciones suaves y fuzzy utilizando algoritmos de satisfactibilidad.
Ref.: TIC2003-00950, Years: 2003-2005.
- MCyT project: LOGFAC. Logicas multivaluadas y clasica: fundamentos y aplicaciones computacionales,
jointly with Universitat Politecnica de Catalunya and Instituto de Investigacion en Inteligencia Artificial
Ref.: TIC2001-1577-C03-03. Years: 2001-2004.

Duties

- International mobility coordinator at EPS - Some useful international mobility links

Personal

A few
photos I've been taking.
Last update: January 2014

View My Stats