Follow
Josep Argelich
Josep Argelich
Verified email at udl.cat - Homepage
Title
Cited by
Cited by
Year
Boolean lexicographic optimization: algorithms & applications
J Marques-Silva, J Argelich, A Graça, I Lynce
Annals of Mathematics and Artificial Intelligence 62, 317-343, 2011
1162011
The first and second Max-SAT evaluations
J Argelich, CM Li, F Manya, J Planes
Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 251-278, 2008
1082008
Solving linux upgradeability problems using boolean optimization
J Argelich, DL Berre, I Lynce, J Marques-Silva, P Rapicault
arXiv preprint arXiv:1007.1021, 2010
792010
Exact Max-SAT solvers for over-constrained problems
J Argelich, F Manyà
Journal of Heuristics 12 (4), 375-392, 2006
552006
On solving boolean multilevel optimization problems
J Argelich, I Lynce, J Marques-Silva
arXiv preprint arXiv:0904.0019, 2009
512009
Partial Max-SAT solvers with clause learning
J Argelich, F Manya
Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007
412007
Weighted argumentation for analysis of discussions in Twitter
T Alsinet, J Argelich, R Béjar, C Fernández, C Mateu, J Planes
International Journal of Approximate Reasoning 85, 21-35, 2017
362017
An improved exact solver for partial Max-SAT
J Argelich, CM Li, F Manya
Int. Conf. on Nonconvex Programming: Local & Global Approaches, 230-231, 2007
302007
MaxSAT evaluation
J Argelich, CM Li, F Manya, J Planes
URL: http://www. maxsat. udl. cat, 2007
282007
A new encoding from MinSAT into MaxSAT
Z Zhu, CM Li, F Manyà, J Argelich
International Conference on Principles and Practice of Constraint …, 2012
272012
MinSAT versus MaxSAT for optimization problems
J Argelich, CM Li, F Manyà, Z Zhu
International Conference on Principles and Practice of Constraint …, 2013
222013
Encoding max-CSP into partial max-SAT
J Argelich, A Cabiscol, I Lynce, F Manyà
38th International Symposium on Multiple Valued Logic (ismvl 2008), 106-111, 2008
222008
Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT.
J Argelich, A Cabiscol, I Lynce, F Manya
Journal of Multiple-Valued Logic & Soft Computing 19, 2012
212012
Modelling max-CSP as partial max-SAT
J Argelich, A Cabiscol, I Lynce, F Manya
Theory and Applications of Satisfiability Testing–SAT 2008: 11th …, 2008
192008
Analyzing the instances of the MaxSAT evaluation
J Argelich, CM Li, F Manya, J Planes
International Conference on Theory and Applications of Satisfiability …, 2011
172011
An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships
T Alsinet, J Argelich, R Béjar, C Fernández, C Mateu, J Planes
Pattern Recognition Letters 105, 191-199, 2018
162018
MaxSAT evaluation (2016)
J Argelich, CM Li, F Manya, J Planes
152015
Clause tableaux for maximum and minimum satisfiability
J Argelich, CM Li, F Manyà, JR Soler
Logic Journal of the IGPL 29 (1), 7-27, 2021
142021
New insights into encodings from MaxCSP into partial MaxSAT
J Argelich, A Cabiscol, I Lynce, F Manyà
2010 40th IEEE international symposium on multiple-valued logic, 46-52, 2010
142010
Sequential encodings from Max-CSP into partial Max-SAT
J Argelich, A Cabiscol, I Lynce, F Manyà
International Conference on Theory and Applications of Satisfiability …, 2009
132009
The system can't perform the operation now. Try again later.
Articles 1–20