Jordi Planes

2009
14	EE	Vasco M. Manquinho, João P. Marques Silva, Jordi Planes: Algorithms for Weighted Boolean Optimization CoRR abs/0903.0843: (2009)
2008
13	EE	Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes: Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. CP 2008: 582-587
12	EE	João Marques-Silva, Jordi Planes: Algorithms for Maximum Satisfiability using Unsatisfiable Cores. DATE 2008: 408-413
11	EE	Paulo J. Matos, Jordi Planes, Florian Letombe, João Marques-Silva: A MAX-SAT Algorithm Portfolio. ECAI 2008: 911-912
10	EE	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	EE	João Marques-Silva, Jordi Planes: On Using Unsatisfiability for Solving Maximum Satisfiability CoRR abs/0712.1097: (2007)
8	EE	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	EE	Josep Argelich, Xavier Domingo, Chu Min Li, Felip Manyà, Jordi Planes: Towards Solving Many-Valued MaxSAT. ISMVL 2006: 26
2005
5	EE	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	EE	Teresa Alsinet, Felip Manyà, Jordi Planes: Improved Exact Solvers for Weighted Max-SAT. SAT 2005: 371-377
2004
3	EE	Teresa Alsinet, Felip Manyà, Jordi Planes: A Max-SAT Solver with Lazy Data Structures. IBERAMIA 2004: 334-342
2003
2	EE	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]
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	[11]
8	Chu Min Li	[5] [6] [7] [8] [10] [13]
9	Vasco M. Manquinho	[14]
10	Felip Manyà	[3] [4] [5] [6] [7] [8] [10] [13]
11	Paulo J. Matos	[11]
12	Nouredine Ould Mohamedou	[13]
13	João P. Marques Silva (João Marques-Silva)	[9] [11] [12] [14]

Colors in the list of coauthors