Publicaciones en colaboración con investigadores/as de Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento (11)

2013

  1. Maximal falsifiability: Definitions, algorithms, and applications

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

2012

  1. Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT

    Journal of Multiple-Valued Logic and Soft Computing

2011

  1. Boolean lexicographic optimization: Algorithms & applications

    Annals of Mathematics and Artificial Intelligence, Vol. 62, Núm. 3-4, pp. 317-343

2010

  1. Boolean lexicographic optimization

    CEUR Workshop Proceedings

  2. New insights into encodings from MaxCSP into partial MaxSAT

    Proceedings of The International Symposium on Multiple-Valued Logic

2009

  1. CNF instances from the software package installation problem

    CEUR Workshop Proceedings

  2. On solving boolean multilevel optimization problems

    IJCAI International Joint Conference on Artificial Intelligence

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

    Proceedings of The International Symposium on Multiple-Valued Logic

  4. Sequential encodings from Max-CSP into partial Max-SAT

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

2008

  1. Encoding Max-CSP into partial Max-SAT

    Proceedings of The International Symposium on Multiple-Valued Logic

  2. Modelling Max-CSP as partial Max-SAT

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