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. |