Emma Rollon

33 papers A* 6A 7B 1Misc 2Journal 10Unranked 6
YearRankTypeTitle / 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
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
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
2021 J jnl
Employee Scheduling With SAT-Based Pseudo-Boolean Constraint Solving.
IEEE Access
Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, 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
2016 A* conf
Limited Discrepancy AND/OR Search and Its Application to Optimization Tasks in Graphical Models.
IJCAI
Javier Larrosa, Emma Rollon, Rina Dechter
2014 J jnl
Active Tuples-based Scheme for Bounding Posterior Beliefs.
CoRR
Bozhena Bidyuk, Rina Dechter, Emma Rollon
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 — conf
Bucket and Mini-bucket Schemes for M Best Solutions over Graphical Models.
GKR
Natalia Flerova, Emma Rollon, Rina Dechter
2011 A conf
On Mini-Buckets and the Min-fill Elimination Ordering.
CP
Emma Rollon, Javier Larrosa
2010 J jnl
Active Tuples-based Scheme for Bounding Posterior Beliefs.
J. Artif. Intell. Res.
Bozhena Bidyuk, Rina Dechter, Emma Rollon
2010 J jnl
Enabling local computation for partially ordered preferences.
Constraints An Int. J.
Hélène Fargier, Emma Rollon, Nic Wilson
2010 Misc conf
Evaluating partition strategies for mini-bucket elimination.
ISAIM
Emma Rollon, Rina Dechter
2010 — conf
Extending Soft Arc Consistency Algorithms to Non-invertible Semirings.
MICAI (1)
Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini
2010 A* conf
New Mini-Bucket Partitioning Heuristics for Bounding the Probability of Evidence.
AAAI
Emma Rollon, Rina Dechter
2008 B conf
A Soft Approach to Multi-objective Optimization.
ICLP
Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon
2008 — —
Multi-objective optimization in graphical models.
Emma Rollon
2007 A* conf
Multi-Objective Russian Doll Search.
AAAI
Emma Rollon, Javier Larrosa
2006 J jnl
Bucket elimination for multiobjective optimization problems.
J. Heuristics
Emma Rollon, 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
2005 A conf
Depth-First Mini-Bucket Elimination.
CP
Emma Rollon, Javier Larrosa
2002 — conf
Challenges in Large-Scale Open Agent Mediated Economies.
AMEC
Steven Willmott, Monique Calisti, Emma Rollon