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

2021

  1. Clause tableaux for maximum and minimum satisfiability

    Logic Journal of the IGPL, Vol. 29, Núm. 1, pp. 7-27

2018

  1. A probabilistic author-centered model for twitter discussions

    Communications in Computer and Information Science

  2. Clause Branching in MaxSAT and MinSAT

    Frontiers in Artificial Intelligence and Applications

2017

  1. Exploiting Many-Valued Variables in MaxSAT

    Proceedings of The International Symposium on Multiple-Valued Logic

2014

  1. Many-valued MinSAT solving

    Proceedings of The International Symposium on Multiple-Valued Logic

2013

  1. MinSAT versus MaxSAT for optimization problems

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

2012

  1. A new encoding from MinSAT into MaxSAT

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

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

    Journal of Multiple-Valued Logic and Soft Computing

2011

  1. Analyzing the instances of the MaxSAT evaluation

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

  2. Experimenting with the instances of the MaxSAT evaluation

    Frontiers in Artificial Intelligence and Applications

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)

2006

  1. Exact Max-SAT solvers for over-constrained problems

    Journal of Heuristics

  2. Towards solving many-valued MaxSAT

    Proceedings of The International Symposium on Multiple-Valued Logic

2005

  1. Solving over-constrained problems with SAT

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

  2. Solving over-constrained problems with SAT technology

    Lecture Notes in Computer Science