Recherche

hal-01323738v1 Article dans une revue
Zhiwen Fang, Chu-Min Li, Ke Xu. An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem
Journal of Artificial Intelligence Research (JAIR), 2016, 55, pp.799-833

hal-01323739v1 Communication dans un congrès
Chu-Min Li, Felip Manya, Joan Ramon Soler. A Clause Tableaux Calculus for MaxSAT
IJCAI-2016, 2016, New York City, USA, United States. 2016

hal-01323740v1 Communication dans un congrès
Chu-Min Li, Fan Xiao, Ruchu Xu. On Reducing Clause Database in Glucose
IWIL-2015, 2015, Suva, Fiji, Fiji. pp.31-41, 2015

hal-01323741v1 Communication dans un congrès
Clément Lecat, Chu-Min Li, Corinne Lucet, Yu Li. Exact methods for the minimum sum coloring problem
DPCP-2015, 2015, Cork, Ireland, Iran. pp.61-69, 2015

hal-01323746v1 Article dans une revue
Kun He, Pengli Ji, Chu-Min Li. Heuristics for Solving the 2D Rectangle Packing Area Minimization Problem Basing on a Dynamic Reduction Method
Chinese journal of software, 2013, 24 (9), pp.2078-2088

hal-01323854v1 Article dans une revue
Andreas Brandstädt, Vassilis Giakoumakis. Addendum to: Maximum Weight Independent Sets in Hole- and Co-chair-free Graphs
Inf. Process. Lett., 2015, 15(2), pp.345--350

hal-01323895v1 Communication dans un congrès
Clément Lecat, Chu-Min Li, Corinne Lucet, Yu Li. optimisation de la planifiacation de processus en conflit de ressource : résolution par solveur minsat
ROADEF 2015, 2015, Marseille, France. 2015

hal-01323742v1 Communication dans un congrès
Clément Lecat, Chu-Min Li, Corinne Lucet, Yu Li. Comparaison de m�thodes de r�solution pour le probl�me de somme coloration
JFPC-2015, 2015, Bordeaux, France. pp.204-213, 2015

hal-01323743v1 Communication dans un congrès
Chu-Min Li, Hua Jiang, Ruchu Xu. Incremental MaxSAT Reasoning to Reduce Branches in a Branch-and-Bound Algorithm for MaxClique
LION9, 2015, Lille, France, France. pp.268-274, 2015

hal-01323744v1 Communication dans un congrès
Chu-Min Li, Felip Manya. An Exact Inference Scheme for MinSAT
IJCAI-2015, 2015, Buenos Aires, Argentina, Argentina. pp.1959-1965, 2015

hal-01323745v1 Article dans une revue
Kun He, Pengli Ji, Chu-Min Li. Dynamic reduction heuristics for the rectangle packing area minimization problem
European Journal of Operational Research (EJOR), 2015, 241 (3), pp.674-685

hal-00999304v1 Communication dans un congrès
Josep Argelich, Chu-Min Li, Felip Manya, Zhu Zhu. Many-Valued MinSAT Solving
ISMVL-2014, 2014, Bremen, Germany, Germany. To appear, 2014

hal-00999320v1 Communication dans un congrès
Josep Argelich, Chu-Min Li, Felip Many‡, Zhu Zhu. MinSAT versus MaxSAT for Optimization Problems
Proceedings of CP-2013, LNCS 8124, Springer, 2013, Uppsala, Sweden, Sweden. pp.133-142, 2013

tel-00545657v2 Thèse
Pascal Vander-Swalmen. Aspects parallèles des problèmes de satisfaisabilité
Autre [cs.OH]. Université de Reims - Champagne Ardenne, 2009. Français

hal-00999302v1 Communication dans un congrès
Carlos Ansótegui, Chu-Min Li, Felip Manyà, Zhu Zhu. A SAT-Based Approach to MinSAT
CCIA-2012, 2012, Trento, Italy, Spain. pp.185-189, 2012, <10.3233/978-1-61499-139-7-185>

hal-00999306v1 Communication dans un congrès
Zhiwen Fang, Chu-Min Li, Kan Qiao, Xu Feng, Ke Xu. Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning
(ECAI'14), 2014, Prague, Czech Republic, Czech Republic. To appear, 2014

hal-00999318v1 Communication dans un congrès
Chu-Min Li, Zhiwen Fang, Ke Xu. Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem
ICTAI2013, 2013, Washington DC, USA, United States. pp.939-946, 2013

hal-00999305v1 Article dans une revue
Zhaoyang Zhou, Chu-Min Li, Chong Huang, Ruchu Xu. An exact algorithm with learning for the graph coloring problem
Computers & Operations Research, Elsevier, 2014, To appear

hal-00999317v1 Communication dans un congrès
Chu-Min Li, Wanxia We, Yu Li. Exploiting historical relationships of clauses and variables in local search for satisfiability
Springer. SAT-2012, 2012, Trento, Italy, Italy. pp.479-480, 2012

hal-00687561v1 Communication dans un congrès
Eddy Caron, Florent Chuffart, Haiwu He, Anissa Lamani, Philippe Le Brouster et al. Large Scale P2P Discovery Middleware Demonstration
Peer-to-Peer Computing (P2P), 2011 IEEE International Conference on, Aug 2011, Kyoto, Japan. 2011, <10.1109/P2P.2011.6038672>

tel-00439824v1 Thèse
Mohamed Elhavedh Ould Ahmed Mounir. Contribution à la résolution du sac-à-dos à contraintes disjonctives
Autre [cs.OH]. Université de Picardie Jules Verne, 2009. Français

hal-00999319v1 Article dans une revue
Yan-Li Liu, Chu-Min Li, Kun He. Improving Lower Bounds in MAXSAT Complete Algorithm Based Optimizing Inconsistent Set
Chinese Journal of Computers, China computer federation, 2013, 36 (10), pp.2087-2095

hal-00999316v1 Communication dans un congrès
Chu-Min Li, Yu Li. Satisfying versus Falsifying in Local Search for Satisfiability
Springer. SAT-2012, 2012, Trento, Italy, Italy. pp.477-478, 2012

hal-01323853v1 Article dans une revue
Anne Berry, Andreas Brandstädt, Vassilis Giakoumakis, Frédéric Maffray. Efficiently decomposing, recognizing and triangulating hole-free graphs without diamonds
Discrete Applied Mathematics, Elsevier, 2015, pp.50-61

hal-01113520v1 Article dans une revue
Mathieu Giraud, Richard Groult, Emmanuel Leguy, Florence Levé. Computational Fugue Analysis
Computer Music Journal, Massachusetts Institute of Technology Press (MIT Press): Arts & Humanities Titles etc, 2015, 39 (2), pp.77-96. <10.1162/COMJ_a_00300>

Type de document

Auteur

Discipline

Structure

Collection

Langue

Type de dépôt

Année

Contact