Publicaciones en colaboración con investigadores/as de Universidade de Lisboa (1)

2009

  1. Regular encodings from Max-CSP into partial Max-SAT

    Proceedings of The International Symposium on Multiple-Valued Logic