Publicaciones en las que colabora con Felip Manyà Serres (12)

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. Generating hard instances for MaxSAT

    Proceedings of The International Symposium on Multiple-Valued Logic

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

    Proceedings of The International Symposium on Multiple-Valued Logic

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

2007

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

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

2004

  1. The interface between P and NP in signed CNF formulas

    Proceedings of The International Symposium on Multiple-Valued Logic

2002

  1. Minimal and redundant SAT encodings for the all-interval-series problem

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

2001

  1. Capturing structure with satisfiability

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

  2. Extending the reach of SAT with many-valued logics

    Electronic Notes in Discrete Mathematics, Vol. 9, pp. 392-407