Javier Larrosa

According to our database, Javier Larrosa authored at least 70 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A Multi-Armed Bandit Approach Using Implicit Hitting Sets for Weighted CSPs.

Aleksandra Petrova, Javier Larrosa, Emma Rollon

Proceedings of the Artificial Intelligence Research and Development, 2024

Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving.

Javier Larrosa, Conrado Martínez, Emma Rollon

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

On Learning When to Decompose Graphical Models.

Aleksandra Petrova, Javier Larrosa

Proceedings of the Learning and Intelligent Optimization - 17th International Conference, 2023

2022

Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations.

Emma Rollon, Javier Larrosa

J. Log. Comput., 2022

2021

Choosing the Root of the Tree Decomposition When Solving WCSPs: Preliminary Results.

Aleksandra Petrova, Javier Larrosa, Emma Rollon

Proceedings of the Artificial Intelligence Research and Development, 2021

2020

Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems.

Javier Larrosa, Emma Rollon

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Augmenting the Power of (Partial) MaxSat Resolution with Extension.

Javier Larrosa, Emma Rollon

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2018

Subproblem ordering heuristics for AND/OR best-first search.

William Lam, Kalev Kask, Javier Larrosa, Rina Dechter

J. Comput. Syst. Sci., 2018

2017

Residual-Guided Look-Ahead in AND/OR Search for Graphical Models.

William Lam, Kalev Kask, Javier Larrosa, Rina Dechter

J. Artif. Intell. Res., 2017

2016

Limited Discrepancy AND/OR Search and Its Application to Optimization Tasks in Graphical Models.

Javier Larrosa, Emma Rollon, Rina Dechter

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

On the Impact of Subproblem Orderings on Anytime AND/OR Best-First Search for Lower Bounds.

William Lam, Kalev Kask, Rina Dechter, Javier Larrosa

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Look-Ahead with Mini-Bucket Heuristics for MPE.

Rina Dechter, Kalev Kask, William Lam, Javier Larrosa

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2014

Decomposing Utility Functions in Bounded Max-Sum for Distributed Constraint Optimization.

Emma Rollon, Javier Larrosa

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Risk-neutral bounded max-sum for distributed constraint optimization.

Javier Larrosa, Emma Rollon

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Semiring-Based Mini-Bucket Partitioning Schemes.

Emma Rollon, Javier Larrosa, Rina Dechter

Proceedings of the IJCAI 2013, 2013

2012

Local arc consistency for non-invertible semirings, with an application to multi-objective optimization.

Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini

Expert Syst. Appl., 2012

Improved Bounded Max-Sum for Distributed Constraint Optimization.

Emma Rollon, Javier Larrosa

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

A Framework for Certified Boolean Branch-and-Bound Optimization.

Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell

J. Autom. Reason., 2011

On Mini-Buckets and the Min-fill Elimination Ordering.

Emma Rollon, Javier Larrosa

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Extending Soft Arc Consistency Algorithms to Non-invertible Semirings.

Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini

Proceedings of the Advances in Artificial Intelligence, 2010

Semiring-Induced Propositional Logic: Definition and Basic Algorithms.

Javier Larrosa, Albert Oliveras, Enric Rodríguez-Carbonell

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009

Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates.

Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2008

2006 and 2007 Max-SAT Evaluations: Contributed Instances.

Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex

J. Satisf. Boolean Model. Comput., 2008

MiniMaxSAT: An Efficient Weighted Max-SAT solver.

Federico Heras, Javier Larrosa, Albert Oliveras

J. Artif. Intell. Res., 2008

A logical approach to efficient Max-SAT solving.

Javier Larrosa, Federico Heras, Simon de Givry

Artif. Intell., 2008

A Max-SAT Inference-Based Pre-processing for Max-Clique.

Federico Heras, Javier Larrosa

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

A Soft Approach to Multi-objective Optimization.

Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

MiniMaxSat: A New Weighted Max-SAT Solver.

Federico Heras, Javier Larrosa, Albert Oliveras

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

Multi-Objective Russian Doll Search.

Emma Rollon, Javier Larrosa

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Bucket elimination for multiobjective optimization problems.

Emma Rollon, Javier Larrosa

J. Heuristics, 2006

Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP.

Federico Heras, Javier Larrosa

J. Heuristics, 2006

Multi-Objective Propagation in Constraint Programming.

Emma Rollon, Javier Larrosa

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Mini-bucket Elimination with Bucket Propagation.

Emma Rollon, Javier Larrosa

Proceedings of the Principles and Practice of Constraint Programming, 2006

New Inference Rules for Efficient Max-SAT Solving.

Federico Heras, Javier Larrosa

Proceedings of the Proceedings, 2006

2005

On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study.

Javier Larrosa, Enric Morancho, David Niso

J. Artif. Intell. Res., 2005

Unifying tree decompositions for reasoning in graphical models.

Kalev Kask, Rina Dechter, Javier Larrosa, Avi Dechter

Artif. Intell., 2005

Improving Tree Decomposition Methods With Function Filtering.

Martí Sánchez-Fibla, Javier Larrosa, Pedro Meseguer

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Resolution in Max-SAT and its relation to local consistency in weighted CSPs.

Javier Larrosa, Federico Heras

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Existential arc consistency: Getting closer to full arc consistency in weighted CSPs.

Simon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Tree Decomposition with Function Filtering.

Martí Sánchez-Fibla, Javier Larrosa, Pedro Meseguer

Proceedings of the Principles and Practice of Constraint Programming, 2005

Depth-First Mini-Bucket Elimination.

Emma Rollon, Javier Larrosa

Proceedings of the Principles and Practice of Constraint Programming, 2005

Local Consistency in Weighted CSPs and Inference in Max-SAT.

Federico Heras, Javier Larrosa

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Solving weighted CSP by maintaining arc consistency.

Javier Larrosa, Thomas Schiex

Artif. Intell., 2004

Using Constraints with Memory to Implement Variable Elimination.

Martí Sánchez-Fibla, Pedro Meseguer, Javier Larrosa

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Improving the Applicability of Adaptive Consistency: Preliminary Results.

Martí Sánchez-Fibla, Pedro Meseguer, Javier Larrosa

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems.

Javier Larrosa, Rina Dechter

Constraints An Int. J., 2003

Restricciones Blanda: Modelos y Algoritmos.

Javier Larrosa, Pedro Meseguer

Inteligencia Artif., 2003

Algoritmos para Satisfacción de Restricciones.

Javier Larrosa, Pedro Meseguer

Inteligencia Artif., 2003

In the quest of the best form of local consistency for Weighted CSP.

Javier Larrosa, Thomas Schiex

Proceedings of the IJCAI-03, 2003

Solving 'Still Life' with Soft Constraints and Bucket Elimination.

Javier Larrosa, Enric Morancho

Proceedings of the Principles and Practice of Constraint Programming, 2003

Solving Max-SAT as Weighted CSP.

Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Constraint Satisfaction Algorithms for Graph Pattern Matching.

Javier Larrosa, Gabriel Valiente

Math. Struct. Comput. Sci., 2002

Partition-Based Lower Bound for Max-CSP.

Javier Larrosa, Pedro Meseguer

Constraints An Int. J., 2002

On forward checking for non-binary constraint satisfaction.

Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa

Artif. Intell., 2002

Pseudo-tree Search with Soft Constraints.

Javier Larrosa, Pedro Meseguer, Martí Sánchez-Fibla

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Node and Arc Consistency in Weighted CSP.

Javier Larrosa

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001

Lower Bounds for Non-binary Constraint Optimization Problems.

Pedro Meseguer, Javier Larrosa, Martí Sánchez-Fibla

Proceedings of the Principles and Practice of Constraint Programming, 2001

A General Scheme for Multiple Lower Bound Computation in Constraint Optimization.

Rina Dechter, Kalev Kask, Javier Larrosa

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

Boosting Search with Variable Elimination.

Javier Larrosa

Proceedings of the Principles and Practice of Constraint Programming, 2000

1999

Maintaining Reversible DAC for Max-CSP.

Javier Larrosa, Pedro Meseguer, Thomas Schiex

Artif. Intell., 1999

1998

Generic CSP Techniques for the Job-Shop Problem.

Javier Larrosa, Pedro Meseguer

Proceedings of the Tasks and Methods in Applied Artificial Intelligence, 1998

Partial Lazy Forward Checking for MAX-CSP.

Javier Larrosa, Pedro Meseguer

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Reversible DAC and Other Improvements for Solving Max-CSP.

Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Merging Constraint Satisfaction Subproblems to Avoid Redundant Search.

Javier Larrosa

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996

Phase Transition in MAX-CSP.

Javier Larrosa, Pedro Meseguer

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Exploiting the Use of DAC in MAX-CSP.

Javier Larrosa, Pedro Meseguer

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1995

Non-monotonic characterization of induction and its application to inductive learning.

Gustavo Núñez, Ulises Cortés, Javier Larrosa

Int. J. Intell. Syst., 1995

A Framework for Abductive Rule Formation.

Javier Larrosa, Ulises Cortés

AI Commun., 1995

Constraint Satisfaction as Global Optimization.

Pedro Meseguer, Javier Larrosa

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Optimization-based Heuristics for Maximal Constraint Satisfaction.

Javier Larrosa, Pedro Meseguer

Proceedings of the Principles and Practice of Constraint Programming, 1995