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

2016

  1. Maximal falsifiability

    AI Communications

2009

  1. Algorithms for weighted boolean optimization

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

    Proceedings of The International Symposium on Multiple-Valued Logic