Larrosa, Javier

19 publications

PGM 2024 An Adaptive Implicit Hitting Set Algorithm for MAP and MPE Inference Aleksandra Petrova, Javier Larrosa, Emma Rollon

AAAI 2024 Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving Javier Larrosa, Conrado Martínez, Emma Rollon

AAAI 2020 Augmenting the Power of (Partial) MaxSat Resolution with Extension Javier Larrosa, Emma Rollon

JAIR 2017 Residual-Guided Look-Ahead in AND/OR Search for Graphical Models William Lam, Kalev Kask, Javier Larrosa, Rina Dechter

IJCAI 2016 Limited Discrepancy AND/OR Search and Its Application to Optimization Tasks in Graphical Models Javier Larrosa, Emma Rollon, Rina Dechter

AAAI 2016 Look-Ahead with Mini-Bucket Heuristics for MPE Rina Dechter, Kalev Kask, William Lam, Javier Larrosa

IJCAI 2013 Semiring-Based Mini-Bucket Partitioning Schemes Emma Rollon, Javier Larrosa, Rina Dechter

JAIR 2008 MiniMaxSAT: An Efficient Weighted Max-SAT Solver Federico Heras, Javier Larrosa, Albert Oliveras

AAAI 2007 Multi-Objective Russian Doll Search Emma Rollon, Javier Larrosa

AAAI 2006 New Inference Rules for Efficient Max-SAT Solving Federico Heras, Javier Larrosa

IJCAI 2005 Existential Arc Consistency: Getting Closer to Full Arc Consistency in Weighted CSPs Simon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa

IJCAI 2005 Improving Tree Decomposition Methods with Function Filtering Martí Sánchez-Fibla, Javier Larrosa, Pedro Meseguer

JAIR 2005 On the Practical Use of Variable Elimination in Constraint Optimization Problems: 'Still-Life' as a Case Study Javier Larrosa, Enric Morancho, David Niso

IJCAI 2005 Resolution in Max-SAT and Its Relation to Local Consistency in Weighted CSPs Javier Larrosa, Federico Heras

IJCAI 2003 In the Quest of the Best Form of Local Consistency for Weighted CSP Javier Larrosa, Thomas Schiex

AAAI 2002 Node and Arc Consistency in Weighted CSP Javier Larrosa

AAAI 1998 Reversible DAC and Other Improvements for Solving Max-CSP Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie

IJCAI 1997 Merging Constraint Satisfaction Subproblems to Avoid Redundant Search Javier Larrosa

IJCAI 1995 Constraint Satisfaction as Global Optimization Pedro Meseguer, Javier Larrosa