Josep Argelich

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2012
j5		Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà: Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. Multiple-Valued Logic and Soft Computing 19(1-3): 3-23 (2012)
c16		Zhu Zhu, Chu Min Li, Felip Manyà, Josep Argelich: A New Encoding from MinSAT into MaxSAT. CP 2012: 455-463
	2011
j4		Josep Argelich: Max-SAT formalisms with hard and soft constraints. AI Commun. 24(1): 101-103 (2011)
j3		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)
c15		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
c14		Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes: Experimenting with the Instances of the MaxSAT Evaluation. CCIA 2011: 31-40
c13		Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes: Analyzing the Instances of the MaxSAT Evaluation. SAT 2011: 360-361
	2010
c12		Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà: New Insights into Encodings from MaxCSP into Partial MaxSAT. ISMVL 2010: 46-52
c11		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
c10		Josep Argelich, Inês Lynce, João P. Marques Silva: On Solving Boolean Multilevel Optimization Problemse. IJCAI 2009: 393-398
c9		Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà: Regular Encodings from Max-CSP into Partial Max-SAT. ISMVL 2009: 196-202
c8		Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà: Sequential Encodings from Max-CSP into Partial Max-SAT. SAT 2009: 161-166
i1		Josep Argelich, Inês Lynce, João P. Marques Silva: On Solving Boolean Multilevel Optimization Problems. CoRR abs/0904.0019 (2009)
	2008
j2		Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes: The First and Second Max-SAT Evaluations. JSAT 4(2-4): 251-278 (2008)
c7		Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà: Encoding Max-CSP into Partial Max-SAT. ISMVL 2008: 106-111
c6		Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà: Modelling Max-CSP as Partial Max-SAT. SAT 2008: 1-14
c5		Josep Argelich, Chu Min Li, Felip Manyà: A Preprocessor for Max-SAT Solvers. SAT 2008: 15-20
	2007
c4		Josep Argelich, Felip Manyà: Partial Max-SAT Solvers with Clause Learning. SAT 2007: 28-40
	2006
j1		Josep Argelich, Felip Manyà: Exact Max-SAT solvers for over-constrained problems. J. Heuristics 12(4-5): 375-392 (2006)
c3		Josep Argelich, Xavier Domingo, Chu Min Li, Felip Manyà, Jordi Planes: Towards Solving Many-Valued MaxSAT. ISMVL 2006: 26
	2005
c2		Josep Argelich, Felip Manyà: Solving Over-Constrained Problems with SAT. CP 2005: 838
c1		Josep Argelich, Felip Manyà: Solving Over-Constrained Problems with SAT Technology. SAT 2005: 1-15

Coauthor Index

1	Daniel Le Berre	[c11]
2	Ramón Béjar	[c15]
3	Alba Cabiscol	[j5] [c12] [c9] [c8] [c7] [c6]
4	Xavier Domingo	[c3]
5	Cèsar Fernández	[c15]
6	Ana Graça	[j3]
7	Chu Min Li	[c16] [c14] [c13] [j2] [c5] [c3]
8	Inês Lynce	[j5] [j3] [c12] [c11] [c10] [c9] [c8] [i1] [c7] [c6]
9	Felip Manyà	[j5] [c16] [c14] [c13] [c12] [c9] [c8] [j2] [c7] [c6] [c5] [c4] [j1] [c3] [c2] [c1]
10	Carles Mateu	[c15]
11	Jordi Planes	[c14] [c13] [j2] [c3]
12	Pascal Rapicault	[c11]
13	João P. Marques Silva (João Marques-Silva)	[j3] [c11] [c10] [i1]
14	Zhu Zhu	[c16]

Last update Wed May 22 23:04:19 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page