Emma Rollon

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 8

Top Topics

Constraint Solving

Tree Decompositions

Top Venues

J. Log. Comput.

Publications

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