42 citations · 42 across the 4 of their papers we have counts for
4 papers
MiCRO for Multilateral Negotiations
David Aguilera-Luzon, Dave de Jonge, Javier Larrosa
Recently, a very simple new bilateral negotiation strategy called MiCRO was introduced that does not make use of any kind of opponent modeling or machine learning techniques and th…
Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems
Javier Larrosa, Emma Rollon
MaxSAT, the optimization version of the well-known SAT problem, has attracted a lot of research interest in the last decade. Motivated by the many important applications and inspir…
On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study
J. Larrosa, E. Morancho, D. Niso
Variable elimination is a general technique for constraint processing. It is often discarded because of its high space complexity. However, it can be extremely useful when combined…
A Logical Approach to Efficient Max-SAT solving
Javier Larrosa, Federico Heras, Simon de Givry
Weighted Max-SAT is the optimization version of SAT and many important problems can be naturally encoded as such. Solving weighted Max-SAT is an important problem from both a theor…