The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Chu-Min Li Chu Min Li Chumin Li ( http://dblp.L3S.de/Authors/Chu-Min_Li )

Publication years (Num. hits)
1992-2003 (17) 2005-2008 (19) 2009-2012 (16) 2013-2016 (16) 2017-2019 (21)
Publication types (Num. hits)
article(31) incollection(1) inproceedings(57)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords

Results
Found 90 publication records. Showing 89 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Chu Min Li, Felip Manyà, Joan Ramon Soler A Tableau Calculus for Non-clausal Maximum Satisfiability. Search on Bibsonomy TABLEAUX The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Felip Manyà, Joan Ramon Soler Clausal Form Transformation in MaxSAT. Search on Bibsonomy ISMVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhen-Xing Xu, Kun He 0001, Chu-Min Li An iterative Path-Breaking approach with mutation and restart strategies for the MAX-SAT problem. Search on Bibsonomy Computers & OR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fan Xiao, Chu-Min Li, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li A branching heuristic for SAT solvers based on complete implication graphs. Search on Bibsonomy SCIENCE CHINA Information Sciences The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luzhi Wang, Chu-Min Li, Junping Zhou, Bo Jin, Minghao Yin An Exact Algorithm for Minimum Weight Vertex Cover Problem in Large Graphs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yanli Liu, Chu-Min Li, Hua Jiang, Kun He A Learning based Branch and Bound for Maximum Common Subgraph Problems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Junwen Ding, Zhipeng Lü, Chu-Min Li, Liji Shen, Liping Xu, Fred W. Glover A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Josep Argelich, Chu Min Li, Felip Manyà, Joan Ramon Soler Clause Branching in MaxSAT and MinSAT. Search on Bibsonomy CCIA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chu-Min Li, Zhiwen Fang, Hua Jiang, Ke Xu 0001 Incremental Upper Bound for the Maximum Clique Problem. Search on Bibsonomy INFORMS Journal on Computing The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhen-Xing Xu, Kun He 0001, Chu-Min Li An Iterative Path-Breaking Approach with Mutation and Restart Strategies for the MAX-SAT Problem. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Chu-Min Li, Fan Xiao, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li Clause Vivification by Unit Propagation in CDCL SAT Solvers. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Chu-Min Li, Yanli Liu, Hua Jiang, Felip Manyà, Yu Li A new upper bound for the maximum weight clique problem. Search on Bibsonomy European Journal of Operational Research The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hua Jiang, Chu-Min Li, Yanli Liu, Felip Manyà A Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique Problem. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Jian Li 0018, Guofu Wu, Chumin Li, Mengling Xiao, Yunong Zhang GMDS-ZNN Variants Having Errors Proportional to Sampling Gap as Compared with Models 1 and 2 Having Higher Precision. Search on Bibsonomy ICSAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Josep Argelich, Chu Min Li, Felip Manyà Exploiting Many-Valued Variables in MaxSAT. Search on Bibsonomy ISMVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chu-Min Li, Hua Jiang, Felip Manyà On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem. Search on Bibsonomy Computers & OR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Clément Lecat, Corinne Lucet, Chu-Min Li Minimum sum coloring problem: Upper bounds for the chromatic strength. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Clément Lecat, Corinne Lucet, Chu-Min Li New Lower Bound for the Minimum Sum Coloring Problem. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Hua Jiang, Chu-Min Li, Felip Manyà An Exact Algorithm for the Maximum Weight Clique Problem in Large Graphs. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Mao Luo, Chu-Min Li, Fan Xiao, Felip Manyà, Zhipeng Lü An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pengli Ji, Kun He 0001, Yan Jin, Hongsheng Lan, Chumin Li An iterative merging algorithm for soft rectangle packing and its extension for application of fixed-outline floorplanning of soft modules. Search on Bibsonomy Computers & OR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Felip Manyà, Joan Ramon Soler A Clause Tableau Calculus for MinSAT. Search on Bibsonomy CCIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hua Jiang, Chu Min Li, Felip Manyà Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Felip Manyà, Joan Ramon Soler A Clause Tableau Calculus for MaxSAT. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Zhiwen Fang, Chu-Min Li, Ke Xu 0001 An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Clément Lecat, Corinne Lucet, Chu-Min Li Sum Coloring : New upper bounds for the chromatic strength. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Yan-Li Liu, Chumin Li, Kun He 0001, Yi Fan Breaking Cycle Structure to Improve Lower Bound for Max-SAT. Search on Bibsonomy FAW The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Fan Xiao, Ruchu Xu On Reducing Clause DataBase in Glucose. Search on Bibsonomy IWIL@LPAR The full citation details ... 2015 DBLP  BibTeX  RDF
1Chu Min Li, Felip Manyà An Exact Inference Scheme for MinSAT. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Chu-Min Li, Hua Jiang, Ruchu Xu Incremental MaxSAT Reasoning to Reduce Branches in a Branch-and-Bound Algorithm for MaxClique. Search on Bibsonomy LION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kun He 0001, Pengli Ji, Chumin Li Dynamic reduction heuristics for the rectangle packing area minimization problem. Search on Bibsonomy European Journal of Operational Research The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhaoyang Zhou, Chu Min Li, Chong Huang 0002, Ruchu Xu An exact algorithm with learning for the graph coloring problem. Search on Bibsonomy Computers & OR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Josep Argelich, Chu Min Li, Felip Manyà, Zhu Zhu Many-Valued MinSAT Solving. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zhiwen Fang, Chu-Min Li, Kan Qiao, Xu Feng, Ke Xu 0001 Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kun He 0001, Pengli Ji, Chumin Li An iterative merging placement algorithm for the fixed-outline floorplanning. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Josep Argelich, Chu Min Li, Felip Manyà, Zhu Zhu MinSAT versus MaxSAT for Optimization Problems. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Chu-Min Li, Zhiwen Fang, Ke Xu 0001 Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon Optimizing with minimum satisfiability. Search on Bibsonomy Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Chu Min Li Analysis and Generation of Pseudo-Industrial MaxSAT Instances. Search on Bibsonomy CCIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Carlos Ansótegui, Chu Min Li, Felip Manyà, Zhu Zhu A SAT-Based Approach to MinSAT. Search on Bibsonomy CCIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Yu Li Satisfying versus Falsifying in Local Search for Satisfiability - (Poster Presentation). Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Wanxia Wei, Yu Li Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability - (Poster Presentation). Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zhu Zhu, Chu Min Li, Felip Manyà, Josep Argelich A New Encoding from MinSAT into MaxSAT. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Felip Manyà, Jordi Planes New Inference Rules for Max-SAT Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes Experimenting with the Instances of the MaxSAT Evaluation. Search on Bibsonomy CCIA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes Analyzing the Instances of the MaxSAT Evaluation. Search on Bibsonomy SAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon Minimum Satisfiability and Its Applications. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes Resolution-based lower bounds in MaxSAT. Search on Bibsonomy Constraints The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Zhe Quan An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Chu Min Li, Felip Manyà, Zhe Quan, Zhu Zhu Exact MinSAT Solving. Search on Bibsonomy SAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Zhe Quan Combining Graph Structure Exploitation and Propositional Reasoning for the Maximum Clique Problem. Search on Bibsonomy ICTAI (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Felip Manyà MaxSAT, Hard and Soft Constraints. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes Exploiting Cycle Structures in Max-SAT. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Wanxia Wei, Chu Min Li, Harry Zhang A Switching Criterion for Intensification and Diversification in Local Search for SAT. Search on Bibsonomy JSAT The full citation details ... 2008 DBLP  BibTeX  RDF
1Ewald Speckenmeyer, Armando Tacchella, Vasco M. Manquinho, Chu Min Li Guest Editors Conclusion. Search on Bibsonomy JSAT The full citation details ... 2008 DBLP  BibTeX  RDF
1Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes The First and Second Max-SAT Evaluations. Search on Bibsonomy JSAT The full citation details ... 2008 DBLP  BibTeX  RDF
1Han Lin, Kaile Su, Chu Min Li Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Josep Argelich, Chu Min Li, Felip Manyà A Preprocessor for Max-SAT Solvers. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Wanxia Wei, Chu Min Li, Harry Zhang Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Carlos Ansótegui, Jose Larrubia, Chu Min Li, Felip Manyà Exploiting multivalued knowledge in variable selection heuristics for SAT solvers. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B50, 03B05, 03B70
1Chu Min Li, Felip Manyà, Jordi Planes New Inference Rules for Max-SAT. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Wanxia Wei, Harry Zhang Combining Adaptive Noise and Look-Ahead in Local Search for SAT. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sylvain Darras, Gilles Dequen, Laure Devendeville, Chu Min Li On Inconsistent Clause-Subsets for Max-SAT Solving. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Unit Propagation, Inconsistent Subset, Max-SAT
1Wenqi Huang, Yu Li, Chu Min Li, Ru Chu Xu New heuristics for packing unequal circles into a circular container. Search on Bibsonomy Computers & OR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Abdellah Idrissi, Chu Min Li Modeling and optimization of the capacity allocation problem with constraints. Search on Bibsonomy RIVF The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Felip Manyà, Jordi Planes Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT. Search on Bibsonomy AAAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Josep Argelich, Xavier Domingo, Chu Min Li, Felip Manyà, Jordi Planes Towards Solving Many-Valued MaxSAT. Search on Bibsonomy ISMVL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Abdellah Idrissi, Chu Min Li, Jean Frédéric Myoupo An Algorithm for a Constraint Optimization Problem in Mobile Ad-hoc Networks. Search on Bibsonomy ICTAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bernard Jurkowiak, Chu Min Li, Gil Utard A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF parallelism, automated theorem proving, SAT problem
1Chu Min Li, Wenqi Huang Diversification and Determinism in Local Search for Satisfiability. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Felip Manyà, Jordi Planes Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Sylvain Gérard On the limit of branching rules for hard random unsatisfiable 3-SAT. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Chu Min Li Equivalent literal propagation in the DLL procedure. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Wenqi Huang, Yu Li, Bernard Jurkowiak, Chu Min Li, Ru Chu Xu A Two-Level Search Strategy for Packing Unequal Circles into a Circle Container. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Hachemi Bennaceur, Chu Min Li Characterizing SAT Problems with the Row Convexity Property. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez A Hybrid Approach for SAT. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Bernard Jurkowiak, Chu Min Li, Gil Utard Parallelizing Satz Using Dynamic Workload Balancing. Search on Bibsonomy Electronic Notes in Discrete Mathematics The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Chu Min Li Equivalency reasoning to solve a class of hard SAT problems. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Chu Min Li Integrating Equivalency Reasoning into Davis-Putnam Procedure. Search on Bibsonomy AAAI/IAAI The full citation details ... 2000 DBLP  BibTeX  RDF
1Chu Min Li, Sylvain Gérard On the Limit of Branching Rules for Hard Random Unsatisfiable 3-SAT. Search on Bibsonomy ECAI The full citation details ... 2000 DBLP  BibTeX  RDF
1Chu Min Li A Constraint-Based Approach to Narrow Search Trees for Satisfiability. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Anbulagan Look-Ahead Versus Look-Back for Satisfiability Problems. Search on Bibsonomy CP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Anbulagan Heuristics Based on Unit Propagation for Satisfiability Problems. Search on Bibsonomy IJCAI (1) The full citation details ... 1997 DBLP  BibTeX  RDF
1Paul Y. Gloess, Miguel-Angel Oros, Chu Min Li U-Log = datalog + constraints. Search on Bibsonomy JFPLC The full citation details ... 1995 DBLP  BibTeX  RDF
1Chu Min Li, Paul Y. Gloess ProQuery: Logical Access to an OODB. Search on Bibsonomy PLILP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Chu Min Li, Paul Y. Gloess Realizing an efficient and incremental access to an object oriented database with Prolog. Search on Bibsonomy JFPL The full citation details ... 1992 DBLP  BibTeX  RDF
1Chu Min Li, Paul Y. Gloess Applying a unified object logic model to implement a strong and dynamic interface between Prolog and an OODBMS. Search on Bibsonomy BDA The full citation details ... 1992 DBLP  BibTeX  RDF
1Paul Y. Gloess, Y.-N. Huang, Chu Min Li, M.-A. Hernandez On Boolean Feature Types. Search on Bibsonomy WSA The full citation details ... 1992 DBLP  BibTeX  RDF
Displaying result #1 - #89 of 89 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license