Publicaciones en las que colabora con Chumin Li (10)

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. Resolution-based lower bounds in MaxSAT

    Constraints, Vol. 15, Núm. 4, pp. 456-484

2009

  1. Exploiting cycle structures in Max-SAT

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

2008

  1. Combinaison des règles d'inférence et de la sous-estimation des bornes inférieures pour Max-SAT

    JFPC 2008 - Actes des quatriemes Journees Francophones de Programmation par Contraintes

  2. Transforming inconsistent subformulas in MaxSAT lower bound computation

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

2007

  1. New inference rules for max-SAT

    Journal of Artificial Intelligence Research, Vol. 30, pp. 321-359

2006

  1. Detecting disjoint inconsistent subformulas for competing lower bounds for Max-SAT

    Proceedings of the National Conference on Artificial Intelligence

  2. Towards solving many-valued MaxSAT

    Proceedings of The International Symposium on Multiple-Valued Logic

2005

  1. Exploiting unit propagation to compute lower bounds in branch and bound Max-SAT solvers

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