Publicaciones en colaboración con investigadores/as de Instituto de Investigación en Inteligencia Artificial (5)

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)

2007

  1. Regular-SAT: A many-valued approach to solving combinatorial problems

    Discrete Applied Mathematics, Vol. 155, Núm. 12, pp. 1613-1626