Published Work (in inverse chronological order, not updated anymore):

For recent publications search the DBLP database or Google Scholar


Tutorials/Invited Talks

  1. Current Trends in Max-SAT solving. in CP 2008.
  2. Weighted Constraint Satisfaction Problems. In CP 2006.
  3. Soft Arc-consistency. In CSCLP 2004.

Journal Papers

  1. Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: A Framework for Certified Boolean Branch-and-Bound Optimization. J. Autom. Reasoning 46(1): 81-102 (2011)
  2. Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex: 2006 and 2007 Max-SAT Evaluations: Contributed Instances. JSAT 4(2-4): 239-250 (2008)
  3. F. Heras, J. Larrosa & A. Oliveras. MiniMaxSAT: An efficient weighted MaxSAT solver. Journal of Artificial Intelligence Research. 31: 1-32, 2008.
  4. J. Larrosa, F. Heras & S. de Givry. A Logical Approach to Efficient Max-SAT Solving. Artificial Intelligence. An International Journal. 172: 204-233, 2008.
  5. E. Rollon & J. Larrosa. Bucket Elimination for Multiobjective Optimization Problems. Journal of Heuristics. 12 (4-5), 2006.
  6. F. Heras & J. Larrosa. Intelligent Variables Orderings and Re-orderings in DAC-based Solvers for WCSP. Journal of Heuristics. 12 (4-5), 2006.
  7. K. Kask, R. Dechter, J. Larrosa & A. Dechter. Unifying Cluster-tree Decompositions for Reasoning in Graphical Models. Artificial Intelligence. An International Journal. 166 (1-2), 2005.
  8. J. Larrosa, E. Morancho & D. Niso. On the practical applicability of Bucket Elimination: Still-life as a case study. Journal of Artificial Intelligence Research. 23 :421-440, 2005. (Find here a previous version with more algorithmic details, and the source code of the algorithm).
  9. J. Larrosa & T. Schiex. Solving Weighted CSP by Maintaining Arc Consistency. Artificial Intelligence. An International Journal. 159 (1-2): 1-26, 2004.
  10. J. Larrosa & P.Meseguer. Algoritmos para Satisfaccion de Restricciones (In Spanish). Inteligencia Artificial. Vol. 20. Nov. 2003.
  11. J. Larrosa & P.Meseguer. Restricciones Blandas: modelos y algoritmos (In Spanish). Inteligencia Artificial. Vol. 20. Nov. 2003.
  12. J. Larrosa & R. Dechter. Boosting search with variable elimination in constraint optimization and constraint satisfaction problems. Constraints. An International Journal. Kluwer Academic Publishers. Vol 8(3), 303-326.
  13. J. Larrosa & P. Meseguer. Partition-Based Lower Bound for Max-CSP. Constraints. An International Journal. Volume 7, 407-419, 2002. Kluwer Academic Publishers.
  14. C. Bessiere, P. Meseguer, E. Freuder & J. Larrosa. "On Forward Checking for Non-binary Constraint Satisfaction". Artificial Intelligence. An International Journal. volume 141, pages 205-224. 2002.
  15. J. Larrosa & G. Valiente. "Constraint satisfaction algorithms for graph pattern matching". Mathematical Structures in Computer Science. 2002. Cambridge University Press. Vol. 12, pp. 403-422.
  16.  J. Larrosa, P. Meseguer, T. Schiex "Maintaining Reversible DAC for MAX-CSP". Artificial Intelligence. An International Journal.107(1), pp. 149-163. (You may want to fetch the source code of PFC-MRDAC).
  17.  J. Larrosa & U. Cortes. "A framework for abductive rule formation". AI-Communications. The European Journal on Artificial Intelligence. Vol 8, N 2. 1995
  18.  G. Nunez, U. Cortes, J. Larrosa. "Non-monotonic characterization of induction and its application to inductive learning". International Journal of Intelligent Systems. Vol 10, N 10. 1995.
International Conference Papers

  1. Javier Larrosa, Albert Oliveras, Enric Rodríguez-Carbonell: Semiring-Induced Propositional Logic: Definition and Basic Algorithms. LPAR (Dakar) 2010: 332-347
  2. J. Larrosa, R. Nieuwenhuis, A. Oliveras & E. Rodriguez-Carbonell. Branch and Bound for Boolean Optimization and the Generation of  Optimality Certificates. In Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing SAT. Swansea, UK, 2009.
  3. F. Heras & J. Larrosa. A Max-SAT Inference-Based Pre-processing for Max-Clique. In Proceedings of the Eleventh International Conference on Theory and Applications of Satisfiability Testing SAT. Guangzhou, China, 2008.
  4. F. Heras, J. Larrosa & A. Oliveras. MiniMaxSAT: a new weighted Max-SAT solver. In Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing SAT. Lisbon, Portugal, 2007.
  5. E. Rollon & J. Larrosa. Multi-objective Russian Doll Search. In Proceedings of the National Conference on Artificial Intelligence - AAAI-2007. Vancouver, Canada, 2007.
  6. E. Rollon & J. Larrosa. Mini-bucket Elimination with Bucket Propagation. In Principles and Practice of Constraint Programming CP2006. Nantes, France, 2006.
  7. E. Rollon & J. Larrosa. Multi-Objective Propagation in Constraint Programming. In Proceedings of the European Conference on Artificial Intelligence - ECAI-2006. Riva del Garda, Italy, 2006.
  8. F. Heras & J. Larrosa. New Inference Rules for Efficient Max-SAT Solving. In Proceedings of the National Conference on Artificial Intelligence - AAAI-2006. Boston, USA, 2006
  9. E. Rollon & J. Larrosa.  Constraint Optimization Techniques for Exact MultiObjective Optimization. In 7th International Conference on Multi-Objective Programming and Goal Programming. City of Tours, France, 2006.
  10. E. Rollon & J. Larrosa. Depth-first Mini-bucket Elimination. In Principles and Practice of Constraint Programming CP2005. Sitges, Spain, 2005. LNCS 3709.
  11. M. Sanchez, J. Larrosa & P. Meseguer. Tree decomposition with function filtering. In Principles and Practice of Constraint Programming CP2005. Sitges, Spain, 2005. LNCS 3709.
  12. S. de Givry, F. Heras, J. Larrosa & M. Zytnicki. Existential arc consistency: getting closer to full arc consistency in weighted CSPs. In International Join Conference on Artificial Intelligence IJCAI 2005. Edinburgh, UK, 2005.
  13. J. Larrosa, F. Heras. Resolution in Max-SAT and its relation to local consistency in weighted CSPs. In International Join Conference on Artificial Intelligence IJCAI 2005. Edinburgh, UK, 2005.
  14. M. Sanchez, P. Meseguer & J. Larrosa.Using constraints with memory to implement variable elimination. In Proceedigns of the European Conference on Artificial Intelligence - ECAI-2004. Valencia, Spain, 2004.
  15. M. Silaghi, J. Landwehr & J. Larrosa Asynchronous Branch and Bound and A* for DisWCSPs, with heuristic function based on Consistency-Maintenance. In  Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems.W. Zhang and V. Sorge Editors. Frontiers in Artificial Intelligence and Applications. IOS press. Vol 112, pp 49--62, 2004
  16. J. Larrosa & T. Schiex "In the quest of the best form of local consistency for Weighted CSP". In Proceedings of the  International Joint Conference on Artificial Intelligence IJCAI-03. Acapulco, Mexico, 2003.  (There is a typo in the description of the experiments. The correct formula for generating dense instances is = (n * (n-1)) / 4.))
  17. S. de Givry, J. Larrosa, P. Meseguer & T. Schiex . Solving Max-SAT as weighted CSP.  In Principles and Practice of Constraint Programming - CP2003. Kinsale, Cork County, Ireland, 2003.
  18. J. Larrosa & E. Morancho "Solving 'Still life' with soft constraints and bucket elimination". In Principles and Practice of Constraint Programming - CP2003. Kinsale, Cork County, Ireland, 2003.
  19. J. Larrosa "Node and arc consistency in weighted CSP". In  proceedings of the National Conference on Artificial Intelligence - AAAI-2002. Edmonton, Canada.
  20. J. Larrosa, P. Meseguer & M. Sanchez "Pseudo-tree search with soft constraints ". In European Conference on Artificial Intelligence - ECAI-2002. Lyon, France.
  21. P. Meseguer, J. Larrosa & M. Sanchez  Lower Bounds for Non-binary Constraint Optimization Problems . In Principles and Practice of Constraint Programming - CP2001. Paphos, Cyprus, 2001.
  22. R. Dechter, K. Kask & J. Larrosa  A general scheme for multiple lower bound computation in constraint optimization. In Principles and Practice of Constraint Programming - CP2001. Paphos, Cyprus, 2001
  23. J. Larrosa. "Boosting Search with variable elimination". In Principles and Practice of Constraint Programming - CP2000. Singapore, 2000. LNCS 1894, Springer-Verlag.
  24. C. Bessiere, P. Meseguer, E. Freuder & J. Larrosa. "On Forward Checking for Non-binary Constraint Satisfaction". In Principles and Practice of Constraint Programming - CP99. Alexandria, USA 1999. LNCS 1713, Springer-Verlag. 
  25. J. Larrosa & P. Meseguer. "Partition-Based Lower Bound for Max-CSP". In Principles and Practice of Constraint Programming - CP99. Alexandria, USA 1999. LNCS 1713, Springer-Verlag. (You may want to fetch the source code of PFC-MPRDAC).
  26. J. Larrosa & P. Meseguer "Partial Lazy Forward Checking for MAX-CSP". In proceedings of the 13th European Conference on Artificial Intelligence - ECAI98.
  27. J. Larrosa & P. Meseguer "Adding Constraint Projections in N-ary CSP". Workshop on non-binary constraints of the 13th European Conference on Artificial Intelligence - ECAI98.
  28. J. Larrosa, P. Meseguer, T. Schiex & G. Verfaillie "Reversible DAC and other improvements for solving MAX-CSP". In Proceedings of the National Conference on Artificial Intelligence - AAAI98. Madison, USA 1998.
  29. J. Larrosa & P. Meseguer "Generic CSP Techniques for the job-shop problem". In Proceedings of the 11th International Conference on Industrial and Engineering applications of Artificial Intelligence and Expert Systems, IEA-AIE-98. Castellon, Spain 1998. Lecture Notes in Artificial Intelligence 1416.
  30. J. Larrosa. "Mergin constraint satisfaction subproblems to avoid redundant search". In proceedings of the International Joint Conference on Artificial Intelligence IJCAI-97. Nagoya, Japan 1997.
  31. P. Meseguer & J. Larrosa. "Solving Fuzzy Constraint Satisfaction Problems". In proceedings of the Sixth IEEE International Conference on Fuzzy Systems 1997. Barcelona, Spain 1997.
  32. J. Larrosa & P. Meseguer. "Exploiting the use of DAC in MAX-CSP". In Principles and Practice of Constraint Programming - CP96. Cambridge, USA 1996. Lecture Notes in Computer Science 1118.
  33. J. Larrosa & P. Meseguer. "Phase transition in MAX-CSP". In Proceeding of the 12th European Conference on Artificial Intelligence - ECAI96. Budapest, Hungary 1996.
  34. J. Larrosa & P. Meseguer. "Optimization-based heuristics for Maximal Constraint Satisfaction". In Principles and Practice of Constraint Programming - CP95. Cassis, France 1995. Lecture Notes in Computer Science 976.
  35. P. Meseguer & J. Larrosa. "Constraint Satisfaction as Global Optimization". In proceedings of the International Joint Conference on Artificial Intelligence IJCAI-95. Montreal, Canada 1995.

  Workshops, Posters and National Conference Papers

  1. Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini: Extending Soft Arc Consistency Algorithms to Non-invertible Semirings. MICAI (1) 2010: 386-398
  2. S. Bistarelli, F. Gaducci, J. Larrosa & E. Rollon. A soft approach to multi-objective optimization. In International Conference on Logic Programming ICLP2008. Udine, Italy, 2008
  3. S. Bistarelli, F. Gaducci, J. Larrosa & E. Rollon. A semiring-based approach to multi-objective optimization. In Principles and Practice of Constraint Programming CP2008. 10th Workshop on Preferences and Soft Constraints. Sydney, Australia, 2008.
  4. J. Alonso, D. Lopez & J. Larrosa. Experiencia en Proyectos de Fin de Carrera de cooperacion con paises en via de desarrollo. In XIII Jornadas de Enseñanza Universitaria de la Informatica (JENUI 07). Teruel, Spain, 2007.
  5. E. Rollon & J. Larrosa. Mini-bucket Elimination with Bucket Propagation. In Annual ERCIM workshop on Constraint Solving and Constraint Logic Programming.  Caparica, Portugal, 2006.
  6. M. Sanchez, J. Larrosa, P. Meseguer. Improving Tree Decomposition Methods With Function Filtering. Poster In International Join Conference on Artificial Intelligence IJCAI 2005. Edinburgh, UK, 2005.
  7. M. Sanchez, P. Meseguer & J. Larrosa. Improving the Applicability of Adaptive Consistency: Preliminary Results. In Principles and Practice of Constraint Programming CP2004. Toronto, Canada, 2004.
  8. F. Heras & J. Larrosa. Towards Robust DAC-based Solvers for WCSP. In  Principles and Practice of Constraint Programming CP2004. 6th Workshop on Preferences and Soft Constraints. Toronto, Canada, 2004.
  9. J. Larrosa & E. Rollon. Bucket Elimination with Capacity Constraints. In  Principles and Practice of Constraint Programming CP2004. 6th Workshop on Preferences and Soft Constraints. Toronto, Canada, 2004.
  10. J. Larrosa & E. Rollon. Adaptive Consistency with Capacity Constraints. In the European Conference on Artificial Intelligence - ECAI-2004. Workshop on Modelling and Solving Problems with Constraints. Valencia, Spain, 2004.
  11. J. Larrosa & R. Dechter. On the Dual Representation of non-Binary Semiring-based CSPs. In Principles and Practice of Constraint Programming - CP2000. Workshop on Soft Constraints. Singapore, 2000.
  12.  C. Bessiere, P. Meseguer, E. Freuder & J. Larrosa. "On Forward Checking for Non-binary Constraint Satisfaction". In Proceedings of the Workshop on non-binary constraints of the International Joint Conference on Artificial Intelligence IJCAI-99.
  13. C. Bessiere, P. Meseguer, E. Freuder & J. Larrosa. "Forward checking pour les contraintes non binaires". In proceedings of JNPC'99. Lyon, France. (In french).