Jordi Planes

	2009
17		Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes: Exploiting Cycle Structures in Max-SAT. SAT 2009: 467-480
16		Vasco M. Manquinho, João P. Marques Silva, Jordi Planes: Algorithms for Weighted Boolean Optimization. SAT 2009: 495-508
15		Vasco M. Manquinho, João P. Marques Silva, Jordi Planes: Algorithms for Weighted Boolean Optimization CoRR abs/0903.0843: (2009)
	2008
14		Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes: Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. CP 2008: 582-587
13		João Marques-Silva, Jordi Planes: Algorithms for Maximum Satisfiability using Unsatisfiable Cores. DATE 2008: 408-413
12		Paulo J. Matos, Jordi Planes, Florian Letombe, João Marques-Silva: A MAX-SAT Algorithm Portfolio. ECAI 2008: 911-912
11		Teresa Alsinet, Felip Manyà, Jordi Planes: An efficient solver for weighted Max-SAT. J. Global Optimization 41(1): 61-73 (2008)
10		Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes: The First and Second Max-SAT Evaluations. JSAT 4(2-4): 251-278 (2008)
	2007
9		João Marques-Silva, Jordi Planes: On Using Unsatisfiability for Solving Maximum Satisfiability CoRR abs/0712.1097: (2007)
8		Chu Min Li, Felip Manyà, Jordi Planes: New Inference Rules for Max-SAT. J. Artif. Intell. Res. (JAIR) 30: 321-359 (2007)
	2006
7		Chu Min Li, Felip Manyà, Jordi Planes: Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT. AAAI 2006
6		Josep Argelich, Xavier Domingo, Chu Min Li, Felip Manyà, Jordi Planes: Towards Solving Many-Valued MaxSAT. ISMVL 2006: 26
	2005
5		Chu Min Li, Felip Manyà, Jordi Planes: Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers. CP 2005: 403-414
4		Teresa Alsinet, Felip Manyà, Jordi Planes: Improved Exact Solvers for Weighted Max-SAT. SAT 2005: 371-377
	2004
3		Teresa Alsinet, Felip Manyà, Jordi Planes: A Max-SAT Solver with Lazy Data Structures. IBERAMIA 2004: 334-342
	2003
2		Jordi Planes: Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT. CP 2003: 991
	2000
1		Jordi Castellà-Roca, Josep Domingo-Ferrer, Jordi Herrera-Joancomartí, Jordi Planes: A Performance Comparison of Java Cards for Micropayment Implementation. CARDIS 2000: 19-38

Coauthor Index

1	Teresa Alsinet	[3] [4] [11]
2	Josep Argelich	[6] [10]
3	Jordi Castellà-Roca	[1]
4	Xavier Domingo	[6]
5	Josep Domingo-Ferrer	[1]
6	Jordi Herrera-Joancomartí	[1]
7	Florian Letombe	[12]
8	Chu Min Li	[5] [6] [7] [8] [10] [14] [17]
9	Vasco M. Manquinho	[15] [16]
10	Felip Manyà	[3] [4] [5] [6] [7] [8] [10] [11] [14] [17]
11	Paulo J. Matos	[12]
12	Nouredine Ould Mohamedou	[14] [17]
13	João P. Marques Silva (João Marques-Silva)	[9] [12] [13] [15] [16]

Colors in the list of coauthors