2 papers
cs.MA2025
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…
cs.AI2006
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…