Emma Rollon

Conrado Martínez

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2022

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

[BibT_eX]

[DOI]

Enric Rodríguez-Carbonell

J. Log. Comput., 2022

2021

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

[BibT_eX]

[DOI]

Robert Nieuwenhuis

Albert Oliveras

IEEE Access, 2021

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

[BibT_eX]

[DOI]

Aleksandra Petrova

Proceedings of the Artificial Intelligence Research and Development, 2021

2020

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

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

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

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2016

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

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2014

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

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Risk-neutral bounded max-sum for distributed constraint optimization.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Semiring-Based Mini-Bucket Partitioning Schemes.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

2012

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

[BibT_eX]

[DOI]

Expert Syst. Appl., 2012

Improved Bounded Max-Sum for Distributed Constraint Optimization.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

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

[BibT_eX]

[DOI]

Natalia Flerova

Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2011

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

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Active Tuples-based Scheme for Bounding Posterior Beliefs.

[BibT_eX]

[DOI]

Bozhena Bidyuk

J. Artif. Intell. Res., 2010

Enabling local computation for partially ordered preferences.

[BibT_eX]

[DOI]

Hélène Fargier

Nic Wilson

Constraints An Int. J., 2010

Extending Soft Arc Consistency Algorithms to Non-invertible Semirings.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2010

Evaluating partition strategies for mini-bucket elimination.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2010

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

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2008

Multi-objective optimization in graphical models.

[BibT_eX]

[DOI]

PhD thesis, 2008

A Soft Approach to Multi-objective Optimization.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

Multi-Objective Russian Doll Search.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Bucket elimination for multiobjective optimization problems.

[BibT_eX]

[DOI]

J. Heuristics, 2006

Multi-Objective Propagation in Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Mini-bucket Elimination with Bucket Propagation.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

Depth-First Mini-Bucket Elimination.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2005

2002

Challenges in Large-Scale Open Agent Mediated Economies.

[BibT_eX]

[DOI]

Steven Willmott

Monique Calisti