Publicaciones en las que colabora con Chumin Li (20)

2021

  1. Clause tableaux for maximum and minimum satisfiability

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

2018

  1. 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 SAT-based approach to MinSAT

    Frontiers in Artificial Intelligence and Applications

  2. A new encoding from MinSAT into MaxSAT

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

  3. Analysis and generation of pseudo-industrial MaxSAT instances

    Frontiers in Artificial Intelligence and Applications

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. A preprocessor for Max-SAT solvers

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

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

  3. 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. Exploiting multivalued knowledge in variable selection heuristics for SAT solvers

    Annals of Mathematics and Artificial Intelligence, Vol. 49, Núm. 1-4, pp. 191-205

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