Jordi Planes' home page

My current point of interest is the MaxSat problem solving. I recently was in a post-doc position at the University of Southampton. I am currently in a Lecturer position (Lector) at the Universitat de Lleida. I am a member of the Artificial Intelligence Research Group.

2010

	Chu Min Li, Felip Manya, Nouredine Ould Mohamedou, Jordi Planes. Resolution-based lower bounds in MaxSAT. Constraints. To appear. DOI
	Joao Marques-Silva, and Jordi Planes. Algorithms for Maximum Satisfiability using Unsatisfiable Cores. Book chapter. Springer. 2010.

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). October 2009.
	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). 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). 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). 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.
	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
	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

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
	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

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.

	Laboratory of Logic. Universitat de Lleida. 2009-2010.
	Xarxes II. Universitat de Lleida. 2007-2008, 2008-2009.
	Sistemes Inteŀligents. Universitat de Lleida. 2007-2008, 2008-2009, 2009-2010.
	Processadors del llenguatge. Universitat de Lleida. 2008-2009, 2009-2010.
	Demonstration in Compiler Engineering. 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.

Projects

	Vertigo: Verification and Validation of Embedded System Design Workbench.
	MCyT project: SoftSAT: Resolución de problemas combinatorios con restricciones suaves y fuzzy utilizando algoritmos de satisfactibilidad, 2003-2005 TIC2003-00950
	MCyT project: LOGFAC. Logicas multivaluadas y clasica: fundamentos y aplicaciones computacionales, 2001-2004 jointly with Universitat Politecnica de Catalunya and Instituto de Investigacion en Inteligencia Artificial TIC2001-1577-C03-03

Personal