| 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 | 94 | 2008 |
| Boolean lexicographic optimization: algorithms & applications J Marques-Silva, J Argelich, A Graça, I Lynce Annals of Mathematics and Artificial Intelligence 62 (3), 317-343, 2011 | 84 | 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 | 73 | 2010 |
| Exact Max-SAT solvers for over-constrained problems J Argelich, F Manya Journal of Heuristics 12 (4), 375-392, 2006 | 48 | 2006 |
| On solving Boolean multilevel optimization problems J Argelich, I Lynce, J Marques-Silva arXiv preprint arXiv:0904.0019, 2009 | 47 | 2009 |
| Partial Max-SAT solvers with clause learning J Argelich, F Manya International Conference on Theory and Applications of Satisfiability …, 2007 | 39 | 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 | 28 | 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 |
| MaxSAT evaluation J Argelich, CM Li, F Manya, J Planes URL: http://www. maxsat. udl. cat, 2007 | 26 | 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 | 24 | 2012 |
| 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 International Conference on Theory and Applications of Satisfiability …, 2008 | 19 | 2008 |
| MinSAT versus MaxSAT for optimization problems J Argelich, CM Li, F Manyà, Z Zhu International Conference on Principles and Practice of Constraint …, 2013 | 18 | 2013 |
| 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 | 18 | 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 |
| 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 | 15 | 2010 |
| MaxSAT evaluation (2016) J Argelich, CM Li, F Manya, J Planes | 13 | 2015 |
| 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 | 12 | 2009 |
| Regular encodings from Max-CSP into partial Max-SAT J Argelich, A Cabiscol, I Lynce, F Manya 2009 39th International Symposium on Multiple-Valued Logic, 196-202, 2009 | 11 | 2009 |
| A preprocessor for Max-SAT solvers J Argelich, CM Li, F Manyà International Conference on Theory and Applications of Satisfiability …, 2008 | 10 | 2008 |
