Josep Argelich

	2011
20		Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu: On 2SAT-MaxOnes with Unbalanced Polarity: from Easy Problems to Hard MaxClique Problems. CCIA 2011: 21-30
19		Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes: Experimenting with the Instances of the MaxSAT Evaluation. CCIA 2011: 31-40
18		Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes: Analyzing the Instances of the MaxSAT Evaluation. SAT 2011: 360-361
17		Josep Argelich: Max-SAT formalisms with hard and soft constraints. AI Commun. 24(1): 101-103 (2011)
16		João Marques-Silva, Josep Argelich, Ana Graça, Inês Lynce: Boolean lexicographic optimization: algorithms & applications. Ann. Math. Artif. Intell. 62(3-4): 317-343 (2011)
	2010
15		Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà: New Insights into Encodings from MaxCSP into Partial MaxSAT. ISMVL 2010: 46-52
14		Josep Argelich, Daniel Le Berre, Inês Lynce, João P. Marques Silva, Pascal Rapicault: Solving Linux Upgradeability Problems Using Boolean Optimization LoCoCo 2010: 11-22
	2009
13		Josep Argelich, Inês Lynce, João P. Marques Silva: On Solving Boolean Multilevel Optimization Problemse. IJCAI 2009: 393-398
12		Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà: Regular Encodings from Max-CSP into Partial Max-SAT. ISMVL 2009: 196-202
11		Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà: Sequential Encodings from Max-CSP into Partial Max-SAT. SAT 2009: 161-166
10		Josep Argelich, Inês Lynce, João P. Marques Silva: On Solving Boolean Multilevel Optimization Problems CoRR abs/0904.0019: (2009)
	2008
9		Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà: Encoding Max-CSP into Partial Max-SAT. ISMVL 2008: 106-111
8		Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà: Modelling Max-CSP as Partial Max-SAT. SAT 2008: 1-14
7		Josep Argelich, Chu Min Li, Felip Manyà: A Preprocessor for Max-SAT Solvers. SAT 2008: 15-20
6		Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes: The First and Second Max-SAT Evaluations. JSAT 4(2-4): 251-278 (2008)
	2007
5		Josep Argelich, Felip Manyà: Partial Max-SAT Solvers with Clause Learning. SAT 2007: 28-40
	2006
4		Josep Argelich, Xavier Domingo, Chu Min Li, Felip Manyà, Jordi Planes: Towards Solving Many-Valued MaxSAT. ISMVL 2006: 26
3		Josep Argelich, Felip Manyà: Exact Max-SAT solvers for over-constrained problems. J. Heuristics 12(4-5): 375-392 (2006)
	2005
2		Josep Argelich, Felip Manyà: Solving Over-Constrained Problems with SAT. CP 2005: 838
1		Josep Argelich, Felip Manyà: Solving Over-Constrained Problems with SAT Technology. SAT 2005: 1-15

Coauthor Index

1	Ramón Béjar	[20]
2	Daniel Le Berre	[14]
3	Alba Cabiscol	[8] [9] [11] [12] [15]
4	Xavier Domingo	[4]
5	Cèsar Fernández	[20]
6	Ana Graça	[16]
7	Chu Min Li	[4] [6] [7] [18] [19]
8	Inês Lynce	[8] [9] [10] [11] [12] [13] [14] [15] [16]
9	Felip Manyà	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [15] [18] [19]
10	Carles Mateu	[20]
11	Jordi Planes	[4] [6] [18] [19]
12	Pascal Rapicault	[14]
13	João P. Marques Silva (João Marques-Silva)	[10] [13] [14] [16]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page