| Solving weighted CSP by maintaining arc consistency J Larrosa, T Schiex Artificial Intelligence 159 (1-2), 1-26, 2004 | 265 | 2004 |
| Existential arc consistency: Getting closer to full arc consistency in weighted CSPs S De Givry, F Heras, M Zytnicki, J Larrosa IJCAI 5, 84-89, 2005 | 241 | 2005 |
| In the quest of the best form of local consistency for weighted CSP J Larrosa, T Schiex IJCAI 3, 239-244, 2003 | 224 | 2003 |
| Constraint satisfaction algorithms for graph pattern matching J Larrosa, G Valiente Mathematical structures in computer science 12 (4), 403-422, 2002 | 203 | 2002 |
| MiniMaxSAT: An efficient weighted Max-SAT solver F Heras, J Larrosa, A Oliveras Journal of Artificial Intelligence Research 31, 1-32, 2008 | 190 | 2008 |
| Node and arc consistency in weighted CSP J Larrosa AAAI/IAAI, 48-53, 2002 | 167 | 2002 |
| Maintaining reversible DAC for Max-CSP J Larrosa, P Meseguer, T Schiex Artificial Intelligence 107 (1), 149-163, 1999 | 141 | 1999 |
| A logical approach to efficient Max-SAT solving J Larrosa, F Heras, S De Givry Artificial Intelligence 172 (2-3), 204-233, 2008 | 139 | 2008 |
| Unifying tree decompositions for reasoning in graphical models K Kask, R Dechter, J Larrosa, A Dechter Artificial Intelligence 166 (1-2), 165-193, 2005 | 135 | 2005 |
| Solving Max-SAT as weighted CSP S De Givry, J Larrosa, P Meseguer, T Schiex International conference on principles and practice of constraint …, 2003 | 127 | 2003 |
| On forward checking for non-binary constraint satisfaction C Bessiere, P Meseguer, EC Freuder, J Larrosa Artificial Intelligence 141 (1-2), 205-224, 2002 | 122 | 2002 |
| MiniMaxSat: A new weighted Max-SAT solver F Heras, J Larrosa, A Oliveras International Conference on Theory and Applications of Satisfiability …, 2007 | 111 | 2007 |
| Resolution in Max-SAT and its relation to local consistency in weighted CSPs J Larrosa, F Heras IJCAI 5, 193-198, 2005 | 98 | 2005 |
| On forward checking for non-binary constraint satisfaction C Bessiere, P Meseguer, EC Freuder, J Larrosa International Conference on Principles and Practice of Constraint …, 1999 | 98 | 1999 |
| Bucket elimination for multiobjective optimization problems E Rollón, J Larrosa Journal of Heuristics 12, 307-328, 2006 | 89 | 2006 |
| Exploiting the use of DAC in Max-CSP J Larrosa, P Meseguer Principles and Practice of Constraint Programming—CP96: Second …, 1996 | 71 | 1996 |
| Boosting search with variable elimination in constraint optimization and constraint satisfaction problems J Larrosa, R Dechter Constraints 8, 303-326, 2003 | 68 | 2003 |
| New inference rules for efficient Max-SAT solving F Heras, J Larrosa AAAI, 68-73, 2006 | 67 | 2006 |
| Boosting search with variable elimination J Larrosa International Conference on Principles and Practice of Constraint …, 2000 | 62 | 2000 |
| A general scheme for multiple lower bound computation in constraint optimization R Dechter, K Kask, J Larrosa Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001 | 54 | 2001 |
