Journals

Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations.

Emma Rollon, Javier Larrosa. Log. Comput. 32(7): 1401-1435, 2022

Employee Scheduling With SAT-Based Pseudo-Boolean Constraint Solving.

Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Emma Rollon. IEEE Access 9: 142095-142104, 2021

Local arc consistency for non-invertible semirings, with an application to multi-objective optimization.

Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini. Expert Syst. Appl. 39(2): 1708-1717, 2012.

Enabling Local Computation for Partially Ordered Preferences.

Hélène Fargier, Emma Rollon, Nic Wilson. Constraints Journal. Vol 15, Issue 4, pp. 516-539, 2010.

Active Tuples-based Scheme for Bounding Posterior Beliefs.

Bozhena Bidyuk, Rina Dechter, Emma Rollon. Journal of Artificial Intelligence Research. Vol 39, pp. 335-371, 2010.

Bucket Elimination for Multiobjective Optimization Problems.

Emma Rollon, Javier Larrosa. Journal of Heuristics. Vol 12, Number 4-5, pp. 307-328, 2006.

 
International Conferences

Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving.

Javier Larrosa, Conrado Martínez, Emma Rollon, AAAI 2024.

Choosing the Root of the Tree Decomposition When Solving WCSPs: Preliminary Results.

Aleksandra Petrova, Javier Larrosa, Emma Rollon, CCIA 2021: 56-65.

Augmenting the Power of (Partial) MaxSat Resolution with Extension.

Javier Larrosa, Emma Rollon, AAAI 2020.

Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems.

Javier Larrosa, Emma Rollon, SAT 2020.

Limited Discrepancy AND/OR Search and Its Application to Optimization Tasks in Graphical Models.

Javier Larrosa, Emma Rollon, Rina Dechter. IJCAI 2016.

Decomposing Utility Functions in Bounded Max-Sum for Distributed Constraint Optimization.

Emma Rollon, Javier Larrosa. CP 2014.

Semiring-Based Mini-Bucket Partitioning Schemes.

Emma Rollon, Javier Larrosa, Rina Dechter. IJCAI 2013.

Risk-Neutral Bounded Max-Sum for Distributed Constraint Optimization.

Javier Larrosa, Emma Rollon. SAC 2013.

Improved Bounded Max-Sum for Distributed Constraint Optimization.

Emma Rollon, Javier Larrosa. CP 2012.

On Mini-Buckets and the Min-fill Elimination Ordering.

Emma Rollon, Javier Larrosa. CP 2011.

New Mini-Bucket Partitioning Heuristics for Bounding the Probability of Evidence.

Emma Rollon, Rina Dechter. AAAI 2010.

Evaluating Partition Strategies for Mini-Bucket Elimination.

Emma Rollon, Rina Dechter. ISAIM 2010.

Constraint Optimization Techniques for Multi-objective Branch-and-Bound Search.

Emma Rollon, Javier Larrosa. Lecture Notes in Economics and Mathematical Systems. Vol 618, pp 89-98, 2009.

A Soft Approach to Multi-objective Optimization.

Stefano Bistarelli, Fabio Gaducci, Javier Larrosa, Emma Rollon. ICLP 2008.

Multi-objective Russian Doll Search.

Emma Rollon, Javier Larrosa. AAAI 2007.

Multi-objective Propagation in Constraint Programming.

Emma Rollon, Javier Larrosa. ECAI 2006.

Mini-Bucket Elimination with Bucket Propagation.

Emma Rollon, Javier Larrosa. CP 2006.

Depth-First Mini-Bucket Elimination.

Emma Rollon, Javier Larrosa. CP 2005.

 
Workshops

Inference Schemes for M Best Solutions for Soft CSPs.

Emma Rollon, Natalia Flerova and Rina Dechter. In proceedings of Soft 2011. Attached to CP 2011.

Bucket and mini-bucket Schemes for M Best Solutions over Graphical Models.

Natalia Flerova, Emma Rollon and Rina Dechter. In proceedings of GKR 2011. Attached to IJCAI 2011.

Bucket Elimination with Capacity Constraints.

Javier Larrosa, Emma Rollon. 6th Workshop on Preferences and Soft Constraints. Attached to CP 2004.

Adaptive Consistency with Capacity Constraints.

Javier Larrosa, Emma Rollon. Workshop on Modelling and Solving Problems with Constraints. Attached to ECAI 2004.

 

 


Emma Rollon, Powered by Joomla!