| Lower bounds for cutting planes proofs with small coefficients M Bonet, T Pitassi, R Raz The Journal of Symbolic Logic 62 (3), 708-728, 1997 | 171 | 1997 |
| Solving (weighted) partial MaxSAT through satisfiability testing C Ansótegui, ML Bonet, J Levy International conference on theory and applications of satisfiability …, 2009 | 139 | 2009 |
| SAT-based MaxSAT algorithms C Ansótegui, ML Bonet, J Levy Artificial Intelligence 196, 77-105, 2013 | 115 | 2013 |
| On interpolation and automatization for Frege systems ML Bonet, T Pitassi, R Raz SIAM Journal on Computing 29 (6), 1939-1967, 2000 | 110 | 2000 |
| On the relative complexity of resolution refinements and cutting planes proof systems ML Bonet, JL Esteban, N Galesi, J Johannsen SIAM Journal on Computing 30 (5), 1462-1484, 2000 | 97 | 2000 |
| Resolution for max-sat ML Bonet, J Levy, F Manyà Artificial Intelligence 171 (8-9), 606-618, 2007 | 89 | 2007 |
| Optimality of size-width tradeoffs for resolution ML Bonet, N Galesi Computational Complexity 10 (4), 261-276, 2001 | 88 | 2001 |
| A study of proof search algorithms for resolution and polynomial calculus ML Bonet, N Galesi 40th Annual Symposium on Foundations of Computer Science (Cat. No. 99CB37039 …, 1999 | 71 | 1999 |
| A new algorithm for weighted partial MaxSAT C Ansótegui, ML Bonet, J Levy Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010 | 64 | 2010 |
| Approximating subtree distances between phylogenies ML Bonet, KS John, R Mahindru, N Amenta Journal of Computational Biology 13 (8), 1419-1434, 2006 | 55 | 2006 |
| On the automatizability of resolution and related propositional proof systems A Atserias, ML Bonet Information and Computation 189 (2), 182-201, 2004 | 55 | 2004 |
| Are there hard examples for Frege systems? ML Bonet, SR Buss, T Pitassi Feasible Mathematics II, 30-56, 1995 | 55 | 1995 |
| Size-depth tradeoffs for Boolean formulae ML Bonet, SR Buss Information Processing Letters 49 (3), 151-155, 1994 | 50 | 1994 |
| Measuring the Hardness of SAT Instances. C Ansótegui, ML Bonet, J Levy, F Manya AAAI 8, 222-228, 2008 | 46 | 2008 |
| Lower bounds for the weak pigeonhole principle and random formulas beyond resolution A Atserias, ML Bonet, JL Esteban Information and Computation 176 (2), 136-152, 2002 | 46 | 2002 |
| Exponential separations between restricted resolution and cutting planes proof systems ML Bonet, JL Esteban, N Galesi, J Johannsen Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat …, 1998 | 46 | 1998 |
| Better methods for solving parsimony and compatibility M Bonet, M Steel, T Warnow, S Yooseph Journal of Computational Biology 5 (3), 391-407, 1998 | 45 | 1998 |
| Non-automatizability of bounded-depth Frege proofs ML Bonet, C Domingo, R Gavalda, A Maciel, T Pitassi computational complexity 13 (1-2), 47-68, 2004 | 43 | 2004 |
| On the structure of industrial SAT instances C Ansótegui, ML Bonet, J Levy International Conference on Principles and Practice of Constraint …, 2009 | 42 | 2009 |
| Towards industrial-like random SAT instances C Ansótegui, ML Bonet, J Levy Twenty-First International Joint Conference on Artificial Intelligence, 2009 | 41 | 2009 |
Jordi LevyIIIA-CSICDirección de correo verificada de iiia.csic.es
