Javier Larrosa

81 papers A* 12A 27B 2Misc 1Journal 28Unranked 10

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