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 | 115 | 2011 |
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 | 106 | 2008 |
Solving linux upgradeability problems using boolean optimization J Argelich, DL Berre, I Lynce, J Marques-Silva, P Rapicault arXiv preprint arXiv:1007.1021, 2010 | 79 | 2010 |
Exact Max-SAT solvers for over-constrained problems J Argelich, F Manyà Journal of Heuristics 12 (4), 375-392, 2006 | 52 | 2006 |
On solving boolean multilevel optimization problems J Argelich, I Lynce, J Marques-Silva arXiv preprint arXiv:0904.0019, 2009 | 51 | 2009 |
Partial Max-SAT solvers with clause learning J Argelich, F Manya Theory and Applications of Satisfiability TestingSAT 2007: 10th
, 2007 | 41 | 2007 |
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 | 36 | 2017 |
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 | 30 | 2007 |
MaxSAT evaluation J Argelich, CM Li, F Manya, J Planes URL: http://www. maxsat. udl. cat, 2007 | 28 | 2007 |
A new encoding from MinSAT into MaxSAT Z Zhu, CM Li, F Manyà, J Argelich International Conference on Principles and Practice of Constraint
, 2012 | 27 | 2012 |
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 | 22 | 2008 |
MinSAT versus MaxSAT for optimization problems J Argelich, CM Li, F Manyà, Z Zhu International Conference on Principles and Practice of Constraint
, 2013 | 21 | 2013 |
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 | 21 | 2012 |
Modelling max-CSP as partial max-SAT J Argelich, A Cabiscol, I Lynce, F Manya Theory and Applications of Satisfiability TestingSAT 2008: 11th
, 2008 | 19 | 2008 |
Analyzing the instances of the MaxSAT evaluation J Argelich, CM Li, F Manya, J Planes International Conference on Theory and Applications of Satisfiability
, 2011 | 17 | 2011 |
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 | 15 | 2018 |
MaxSAT evaluation (2016) J Argelich, CM Li, F Manya, J Planes | 15 | 2015 |
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 | 14 | 2021 |
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 | 14 | 2010 |
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 | 13 | 2009 |