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

2012

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

    Journal of Multiple-Valued Logic and Soft Computing

2010

  1. New insights into encodings from MaxCSP into partial MaxSAT

    Proceedings of The International Symposium on Multiple-Valued Logic

2009

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

    Proceedings of The International Symposium on Multiple-Valued Logic

  2. 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)