| 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 | 104 | 2008 |
| 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 | 101 | 2011 |
| Solving linux upgradeability problems using boolean optimization J Argelich, DL Berre, I Lynce, J Marques-Silva, P Rapicault arXiv preprint arXiv:1007.1021, 2010 | 76 | 2010 |
| Effects of spatial variability and relic DNA removal on the detection of temporal dynamics in soil microbial communities P Carini, M Delgado-Baquerizo, ELS Hinckley, H Holland‐Moritz, ... MBio 11 (1), e02776-19, 2020 | 60 | 2020 |
| Exact Max-SAT solvers for over-constrained problems J Argelich, F Manya Journal of Heuristics 12 (4-5), 375-392, 2006 | 52 | 2006 |
| On solving boolean multilevel optimization problems J Argelich, I Lynce, J Marques-Silva arXiv preprint arXiv:0904.0019, 2009 | 49 | 2009 |
| Partial Max-SAT solvers with clause learning J Argelich, F Manya Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007 | 42 | 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 | 37 | 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 | 28 | 2007 |
| A New Encoding from MinSAT into MaxSAT. Z Zhu, CM Li, F Manyŕ, J Argelich CP, 455-463, 2012 | 27 | 2012 |
| MaxSAT evaluation J Argelich, CM Li, F Manya, J Planes URL: http://www. maxsat. udl. cat, 2007 | 27 | 2007 |
| 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 |
| 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 | 20 | 2008 |
| 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 | 19 | 2008 |
| MinSAT versus MaxSAT for optimization problems J Argelich, CM Li, F Manyŕ, Z Zhu Principles and Practice of Constraint Programming: 19th International …, 2013 | 18 | 2013 |
| Analyzing the instances of the MaxSAT evaluation J Argelich, CM Li, F Manya, J Planes Theory and Applications of Satisfiability Testing-SAT 2011: 14th …, 2011 | 17 | 2011 |
| MaxSAT evaluation (2016) J Argelich, CM Li, F Manya, J Planes | 14 | 2015 |
| 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ŕ Sat 5584, 161-166, 2009 | 13 | 2009 |
| 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 | 12 | 2021 |
