Published Work (in inverse chronological order, not updated
anymore):
For recent publications search the DBLP database or Google
Scholar
Tutorials/Invited Talks
- Current Trends in
Max-SAT
solving. in CP 2008.
- Weighted Constraint Satisfaction Problems. In CP 2006.
- Soft Arc-consistency. In CSCLP 2004.
Journal Papers
- 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)
- Federico
Heras,
Javier Larrosa, Simon
de
Givry, Thomas
Schiex:
2006 and 2007 Max-SAT Evaluations: Contributed Instances. JSAT
4(2-4): 239-250 (2008)
- F. Heras, J. Larrosa & A. Oliveras. MiniMaxSAT: An
efficient
weighted MaxSAT solver. Journal
of
Artificial
Intelligence Research. 31: 1-32, 2008.
- J. Larrosa, F. Heras & S. de Givry. A Logical
Approach to
Efficient Max-SAT
Solving. Artificial
Intelligence. An International Journal. 172: 204-233,
2008.
- E. Rollon & J. Larrosa. Bucket
Elimination for
Multiobjective
Optimization Problems. Journal
of
Heuristics. 12 (4-5), 2006.
- F. Heras & J. Larrosa. Intelligent
Variables
Orderings
and
Re-orderings in DAC-based Solvers for WCSP. Journal of Heuristics. 12
(4-5),
2006.
- 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.
- 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).
- J. Larrosa & T. Schiex. Solving
Weighted
CSP by Maintaining Arc Consistency. Artificial
Intelligence. An International Journal. 159 (1-2): 1-26,
2004.
- J. Larrosa & P.Meseguer. Algoritmos
para Satisfaccion de Restricciones (In Spanish). Inteligencia
Artificial.
Vol. 20. Nov. 2003.
- J. Larrosa & P.Meseguer. Restricciones
Blandas: modelos y algoritmos (In Spanish). Inteligencia
Artificial. Vol. 20. Nov. 2003.
- 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.
- J. Larrosa & P. Meseguer. Partition-Based
Lower
Bound
for Max-CSP. Constraints. An International Journal.
Volume
7, 407-419, 2002.
Kluwer Academic Publishers.
- 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.
- 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.
- 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).
- J. Larrosa & U. Cortes. "A framework for abductive
rule
formation". AI-Communications. The European Journal on
Artificial
Intelligence. Vol 8, N 2. 1995
- 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
- Javier Larrosa, Albert
Oliveras, Enric
Rodríguez-Carbonell:
Semiring-Induced Propositional Logic: Definition and Basic
Algorithms. LPAR
(Dakar)
2010: 332-347
- 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.
- 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.
- 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.
- E. Rollon & J. Larrosa. Multi-objective
Russian
Doll Search. In Proceedings of the National
Conference on Artificial Intelligence - AAAI-2007.
Vancouver,
Canada, 2007.
- E. Rollon & J. Larrosa. Mini-bucket Elimination with
Bucket
Propagation. In Principles
and
Practice of
Constraint Programming CP2006. Nantes, France, 2006.
- 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.
- 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
- 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.
- E. Rollon & J. Larrosa. Depth-first Mini-bucket
Elimination.
In Principles and Practice of
Constraint Programming CP2005. Sitges, Spain, 2005.
LNCS 3709.
- M. Sanchez, J. Larrosa & P. Meseguer. Tree
decomposition with
function filtering. In Principles
and
Practice
of
Constraint
Programming CP2005. Sitges,
Spain, 2005. LNCS 3709.
- 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.
- 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.
- 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.
- 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
- 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.))
- 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.
- 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.
- J. Larrosa "Node
and
arc consistency in weighted CSP". In proceedings
of the
National Conference on Artificial Intelligence - AAAI-2002.
Edmonton, Canada.
- J. Larrosa, P. Meseguer & M. Sanchez "Pseudo-tree search with
soft
constraints ". In European Conference on Artificial
Intelligence - ECAI-2002. Lyon, France.
- 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.
- 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
- J. Larrosa. "Boosting
Search with variable elimination".
In Principles and Practice of Constraint Programming -
CP2000.
Singapore, 2000. LNCS 1894, Springer-Verlag.
- 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.
- 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).
- J. Larrosa & P. Meseguer "Partial Lazy Forward Checking
for
MAX-CSP". In proceedings of the 13th European Conference on
Artificial Intelligence - ECAI98.
- 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.
- 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.
- 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.
- 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.
- P. Meseguer & J. Larrosa. "Solving Fuzzy Constraint
Satisfaction Problems". In proceedings of the Sixth IEEE
International Conference on Fuzzy Systems 1997. Barcelona,
Spain
1997.
- 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.
- J. Larrosa & P. Meseguer. "Phase transition in MAX-CSP".
In
Proceeding of the 12th European Conference on Artificial
Intelligence - ECAI96. Budapest, Hungary 1996.
- 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.
- 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
- Stefano
Bistarelli, Fabio
Gadducci,
Javier Larrosa, Emma
Rollon, Francesco
Santini:
Extending Soft Arc Consistency Algorithms to Non-invertible
Semirings. MICAI
(1)
2010: 386-398
- 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
- 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.
- 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.
- E. Rollon & J. Larrosa. Mini-bucket Elimination with
Bucket
Propagation. In Annual ERCIM
workshop on Constraint Solving and Constraint Logic
Programming.
Caparica,
Portugal,
2006.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- C. Bessiere, P. Meseguer, E. Freuder & J. Larrosa.
"Forward
checking pour les contraintes non binaires". In proceedings
of
JNPC'99. Lyon, France. (In french).