Javier Larrosa

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 12

Top Topics

Tree Decomposition

Utility Function

Graphical Models

Top Venues

J. Comput. Syst. Sci.

Publications

Javier Larrosa, Conrado Martínez, Emma Rollon
Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving. AAAI (2024)
Aleksandra Petrova, Javier Larrosa
On Learning When to Decompose Graphical Models. LION (2023)
Emma Rollon, Javier Larrosa
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations. J. Log. Comput. 32 (7) (2022)
Aleksandra Petrova, Javier Larrosa, Emma Rollon
Choosing the Root of the Tree Decomposition When Solving WCSPs: Preliminary Results. CCIA (2021)
Javier Larrosa, Emma Rollon
Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems. CoRR (2020)
Javier Larrosa, Emma Rollon
Augmenting the Power of (Partial) MaxSat Resolution with Extension. AAAI (2020)
Javier Larrosa, Emma Rollon
Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems. SAT (2020)
William Lam, Kalev Kask, Javier Larrosa, Rina Dechter
Subproblem ordering heuristics for AND/OR best-first search. J. Comput. Syst. Sci. 94 (2018)
William Lam, Kalev Kask, Javier Larrosa, Rina Dechter
Residual-Guided Look-Ahead in AND/OR Search for Graphical Models. J. Artif. Intell. Res. 60 (2017)
Javier Larrosa, Emma Rollon, Rina Dechter
Limited Discrepancy AND/OR Search and Its Application to Optimization Tasks in Graphical Models. IJCAI (2016)
Rina Dechter, Kalev Kask, William Lam, Javier Larrosa
Look-Ahead with Mini-Bucket Heuristics for MPE. AAAI (2016)
William Lam, Kalev Kask, Rina Dechter, Javier Larrosa
On the Impact of Subproblem Orderings on Anytime AND/OR Best-First Search for Lower Bounds. ECAI (2016)
Emma Rollon, Javier Larrosa
Decomposing Utility Functions in Bounded Max-Sum for Distributed Constraint Optimization. CP (2014)
Javier Larrosa, Emma Rollon
Risk-neutral bounded max-sum for distributed constraint optimization. SAC (2013)
Emma Rollon, Javier Larrosa, Rina Dechter
Semiring-Based Mini-Bucket Partitioning Schemes. IJCAI (2013)
Emma Rollon, Javier Larrosa
Improved Bounded Max-Sum for Distributed Constraint Optimization. CP (2012)
Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini
Local arc consistency for non-invertible semirings, with an application to multi-objective optimization. Expert Syst. Appl. 39 (2) (2012)
Emma Rollon, Javier Larrosa
On Mini-Buckets and the Min-fill Elimination Ordering. CP (2011)
Javier Larrosa, Enric Morancho, David Niso
On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study CoRR (2011)
Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
A Framework for Certified Boolean Branch-and-Bound Optimization. J. Autom. Reason. 46 (1) (2011)
Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini
Extending Soft Arc Consistency Algorithms to Non-invertible Semirings. MICAI (1) (2010)
Javier Larrosa, Albert Oliveras, Enric Rodríguez-Carbonell
Semiring-Induced Propositional Logic: Definition and Basic Algorithms. LPAR (Dakar) (2010)
Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates. SAT (2009)
Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon
A Soft Approach to Multi-objective Optimization. ICLP (2008)
Javier Larrosa, Federico Heras, Simon de Givry
A logical approach to efficient Max-SAT solving. Artif. Intell. 172 (2-3) (2008)
Federico Heras, Javier Larrosa, Albert Oliveras
MiniMaxSAT: An Efficient Weighted Max-SAT solver. J. Artif. Intell. Res. 31 (2008)
Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex
2006 and 2007 Max-SAT Evaluations: Contributed Instances. J. Satisf. Boolean Model. Comput. 4 (2-4) (2008)
Federico Heras, Javier Larrosa
A Max-SAT Inference-Based Pre-processing for Max-Clique. SAT (2008)
Federico Heras, Javier Larrosa, Albert Oliveras
MiniMaxSat: A New Weighted Max-SAT Solver. SAT (2007)
Emma Rollon, Javier Larrosa
Multi-Objective Russian Doll Search. AAAI (2007)
Federico Heras, Javier Larrosa
Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP. J. Heuristics 12 (4-5) (2006)
Emma Rollon, Javier Larrosa
Mini-bucket Elimination with Bucket Propagation. CP (2006)
Federico Heras, Javier Larrosa
New Inference Rules for Efficient Max-SAT Solving. AAAI (2006)
Emma Rollon, Javier Larrosa
Bucket elimination for multiobjective optimization problems. J. Heuristics 12 (4-5) (2006)
Javier Larrosa, Federico Heras, Simon de Givry
A Logical Approach to Efficient Max-SAT solving CoRR (2006)
Emma Rollon, Javier Larrosa
Multi-Objective Propagation in Constraint Programming. ECAI (2006)
Martí Sánchez-Fibla, Javier Larrosa, Pedro Meseguer
Improving Tree Decomposition Methods With Function Filtering. IJCAI (2005)
Javier Larrosa, Enric Morancho, David Niso
On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study. J. Artif. Intell. Res. 23 (2005)
Simon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa
Existential arc consistency: Getting closer to full arc consistency in weighted CSPs. IJCAI (2005)
Martí Sánchez-Fibla, Javier Larrosa, Pedro Meseguer
Tree Decomposition with Function Filtering. CP (2005)
Federico Heras, Javier Larrosa
Local Consistency in Weighted CSPs and Inference in Max-SAT. CP (2005)
Javier Larrosa, Federico Heras
Resolution in Max-SAT and its relation to local consistency in weighted CSPs. IJCAI (2005)
Emma Rollon, Javier Larrosa
Depth-First Mini-Bucket Elimination. CP (2005)
Kalev Kask, Rina Dechter, Javier Larrosa, Avi Dechter
Unifying tree decompositions for reasoning in graphical models. Artif. Intell. 166 (1-2) (2005)
Martí Sánchez-Fibla, Pedro Meseguer, Javier Larrosa
Improving the Applicability of Adaptive Consistency: Preliminary Results. CP (2004)
Javier Larrosa, Thomas Schiex
Solving weighted CSP by maintaining arc consistency. Artif. Intell. 159 (1-2) (2004)
Martí Sánchez-Fibla, Pedro Meseguer, Javier Larrosa
Using Constraints with Memory to Implement Variable Elimination. ECAI (2004)
Javier Larrosa, Rina Dechter
Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems. Constraints An Int. J. 8 (3) (2003)
Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex
Solving Max-SAT as Weighted CSP. CP (2003)
Javier Larrosa, Pedro Meseguer
Restricciones Blanda: Modelos y Algoritmos. Inteligencia Artif. 7 (20) (2003)
Javier Larrosa, Thomas Schiex
In the quest of the best form of local consistency for Weighted CSP. IJCAI (2003)
Javier Larrosa, Enric Morancho
Solving 'Still Life' with Soft Constraints and Bucket Elimination. CP (2003)
Javier Larrosa, Pedro Meseguer
Algoritmos para Satisfacción de Restricciones. Inteligencia Artif. 7 (20) (2003)
Javier Larrosa, Pedro Meseguer
Partition-Based Lower Bound for Max-CSP. Constraints An Int. J. 7 (3-4) (2002)
Javier Larrosa, Pedro Meseguer, Martí Sánchez-Fibla
Pseudo-tree Search with Soft Constraints. ECAI (2002)
Javier Larrosa
Node and Arc Consistency in Weighted CSP. AAAI/IAAI (2002)
Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa
On forward checking for non-binary constraint satisfaction. Artif. Intell. 141 (1/2) (2002)
Javier Larrosa, Gabriel Valiente
Constraint Satisfaction Algorithms for Graph Pattern Matching. Math. Struct. Comput. Sci. 12 (4) (2002)
Pedro Meseguer, Javier Larrosa, Martí Sánchez-Fibla
Lower Bounds for Non-binary Constraint Optimization Problems. CP (2001)
Rina Dechter, Kalev Kask, Javier Larrosa
A General Scheme for Multiple Lower Bound Computation in Constraint Optimization. CP (2001)
Javier Larrosa
Boosting Search with Variable Elimination. CP (2000)
Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa
On Forward Checking for Non-binary Constraint Satisfaction. CP (1999)
Javier Larrosa, Pedro Meseguer, Thomas Schiex
Maintaining Reversible DAC for Max-CSP. Artif. Intell. 107 (1) (1999)
Javier Larrosa, Pedro Meseguer
Partition-Based Lower Bound for Max-CSP. CP (1999)
Javier Larrosa, Pedro Meseguer
Generic CSP Techniques for the Job-Shop Problem. IEA/AIE (Vol. 2) (1998)
Javier Larrosa, Pedro Meseguer
Partial Lazy Forward Checking for MAX-CSP. ECAI (1998)
Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie
Reversible DAC and Other Improvements for Solving Max-CSP. AAAI/IAAI (1998)
Javier Larrosa
Merging Constraint Satisfaction Subproblems to Avoid Redundant Search. IJCAI (1) (1997)
Javier Larrosa, Pedro Meseguer
Exploiting the Use of DAC in MAX-CSP. CP (1996)
Javier Larrosa, Pedro Meseguer
Phase Transition in MAX-CSP. ECAI (1996)
Javier Larrosa, Ulises Cortés
A Framework for Abductive Rule Formation. AI Commun. 8 (2) (1995)
Gustavo Núñez, Ulises Cortés, Javier Larrosa
Non-monotonic characterization of induction and its application to inductive learning. Int. J. Intell. Syst. 10 (10) (1995)
Javier Larrosa, Pedro Meseguer
Optimization-based Heuristics for Maximal Constraint Satisfaction. CP (1995)
Pedro Meseguer, Javier Larrosa
Constraint Satisfaction as Global Optimization. IJCAI (1) (1995)