Chu Min Li

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 14

Top Topics

Combinatorial Optimization Problems

Tableau Calculus

Maximum Satisfiability

Top Venues

Publications

Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà
A Tableau Calculus for Signed Maximum Satisfiability. ISMVL (2023)
Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu Min Li, Felip Manyà
BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit. CoRR (2022)
Chu Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal
Clausal Forms in MaxSAT and MinSAT. Int. J. Comput. Intell. Syst. 15 (1) (2022)
Chu Min Li, Felip Manyà
Inference in MaxSAT and MinSAT. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Jun Wu, Chu Min Li, Yupeng Zhou, Minghao Yin, Xin Xu, Dangdang Niu
HEA-D: A Hybrid Evolutionary Algorithm for Diversified Top-k Weight Clique Search Problem. IJCAI (2022)
Josep Argelich, Chu Min Li, Felip Manyà, Joan Ramon Soler
Clause tableaux for maximum and minimum satisfiability. Log. J. IGPL 29 (1) (2021)
Chu Min Li, Felip Manyà, Amanda Vidal
Tableaux for Maximum Satisfiability in Łukasiewicz Logic. ISMVL (2020)
Chu Min Li, Felip Manyà, Joan Ramon Soler
Clausal Form Transformation in MaxSAT. ISMVL (2019)
Chu Min Li, Felip Manyà, Joan Ramon Soler
A Tableau Calculus for Non-clausal Maximum Satisfiability. TABLEAUX (2019)
Josep Argelich, Chu Min Li, Felip Manyà, Joan Ramon Soler
Clause Branching in MaxSAT and MinSAT. CCIA (2018)
Josep Argelich, Chu Min Li, Felip Manyà
Exploiting Many-Valued Variables in MaxSAT. ISMVL (2017)
Chu Min Li, Felip Manyà, Joan Ramon Soler
A Clause Tableau Calculus for MaxSAT. IJCAI (2016)
Chu Min Li, Felip Manyà, Joan Ramon Soler
A Clause Tableau Calculus for MinSAT. CCIA (2016)
Hua Jiang, Chu Min Li, Felip Manyà
Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs. ECAI (2016)
Chu Min Li, Felip Manyà
An Exact Inference Scheme for MinSAT. IJCAI (2015)
Chu Min Li, Fan Xiao, Ruchu Xu
On Reducing Clause DataBase in Glucose. IWIL@LPAR (2015)
Josep Argelich, Chu Min Li, Felip Manyà, Zhu Zhu
Many-Valued MinSAT Solving. ISMVL (2014)
Zhaoyang Zhou, Chu Min Li, Chong Huang, Ruchu Xu
An exact algorithm with learning for the graph coloring problem. Comput. Oper. Res. 51 (2014)
Josep Argelich, Chu Min Li, Felip Manyà, Zhu Zhu
MinSAT versus MaxSAT for Optimization Problems. CP (2013)
Zhu Zhu, Chu Min Li, Felip Manyà, Josep Argelich
A New Encoding from MinSAT into MaxSAT. CP (2012)
Carlos Ansótegui, Chu Min Li, Felip Manyà, Zhu Zhu
A SAT-Based Approach to MinSAT. CCIA (2012)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Chu Min Li
Analysis and Generation of Pseudo-Industrial MaxSAT Instances. CCIA (2012)
Chu Min Li, Wanxia Wei, Yu Li
Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability - (Poster Presentation). SAT (2012)
Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon
Optimizing with minimum satisfiability. Artif. Intell. 190 (2012)
Chu Min Li, Yu Li
Satisfying versus Falsifying in Local Search for Satisfiability - (Poster Presentation). SAT (2012)
Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon
Minimum Satisfiability and Its Applications. IJCAI (2011)
Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes
Analyzing the Instances of the MaxSAT Evaluation. SAT (2011)
Chu Min Li, Felip Manyà, Jordi Planes
New Inference Rules for Max-SAT CoRR (2011)
Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes
Experimenting with the Instances of the MaxSAT Evaluation. CCIA (2011)
Chu Min Li, Zhe Quan
An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem. AAAI (2010)
Chu Min Li, Felip Manyà, Zhe Quan, Zhu Zhu
Exact MinSAT Solving. SAT (2010)
Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes
Resolution-based lower bounds in MaxSAT. Constraints An Int. J. 15 (4) (2010)
Chu Min Li, Zhe Quan
Combining Graph Structure Exploitation and Propositional Reasoning for the Maximum Clique Problem. ICTAI (1) (2010)
Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes
Exploiting Cycle Structures in Max-SAT. SAT (2009)
Han Lin, Kaile Su, Chu Min Li
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. AAAI (2008)
Wanxia Wei, Chu Min Li, Harry Zhang
Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT. CP (2008)
Ewald Speckenmeyer, Armando Tacchella, Vasco M. Manquinho, Chu Min Li
Guest Editors Conclusion. J. Satisf. Boolean Model. Comput. 4 (2-4) (2008)
Josep Argelich, Chu Min Li, Felip Manyà
A Preprocessor for Max-SAT Solvers. SAT (2008)
Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes
Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. CP (2008)
Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes
The First and Second Max-SAT Evaluations. J. Satisf. Boolean Model. Comput. 4 (2-4) (2008)
Wanxia Wei, Chu Min Li, Harry Zhang
A Switching Criterion for Intensification and Diversification in Local Search for SAT. J. Satisf. Boolean Model. Comput. 4 (2-4) (2008)
Sylvain Darras, Gilles Dequen, Laure Devendeville, Chu Min Li
On Inconsistent Clause-Subsets for Max-SAT Solving. CP (2007)
Carlos Ansótegui, Jose Larrubia, Chu Min Li, Felip Manyà
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers. Ann. Math. Artif. Intell. 49 (1-4) (2007)
Chu Min Li, Felip Manyà, Jordi Planes
New Inference Rules for Max-SAT. J. Artif. Intell. Res. 30 (2007)
Chu Min Li, Wanxia Wei, Harry Zhang
Combining Adaptive Noise and Look-Ahead in Local Search for SAT. SAT (2007)
Josep Argelich, Xavier Domingo, Chu Min Li, Felip Manyà, Jordi Planes
Towards Solving Many-Valued MaxSAT. ISMVL (2006)
Abdellah Idrissi, Chu Min Li, Jean Frédéric Myoupo
An Algorithm for a Constraint Optimization Problem in Mobile Ad-hoc Networks. ICTAI (2006)
Chu Min Li, Felip Manyà, Jordi Planes
Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT. AAAI (2006)
Wenqi Huang, Yu Li, Chu Min Li, Ru Chu Xu
New heuristics for packing unequal circles into a circular container. Comput. Oper. Res. 33 (2006)
Abdellah Idrissi, Chu Min Li
Modeling and optimization of the capacity allocation problem with constraints. RIVF (2006)
Chu Min Li, Felip Manyà, Jordi Planes
Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers. CP (2005)
Bernard Jurkowiak, Chu Min Li, Gil Utard
A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers. J. Autom. Reason. 34 (1) (2005)
Chu Min Li, Wenqi Huang
Diversification and Determinism in Local Search for Satisfiability. SAT (2005)
Wenqi Huang, Yu Li, Bernard Jurkowiak, Chu Min Li, Ru Chu Xu
A Two-Level Search Strategy for Packing Unequal Circles into a Circle Container. CP (2003)
Chu Min Li, Sylvain Gérard
On the limit of branching rules for hard random unsatisfiable 3-SAT. Discret. Appl. Math. 130 (2) (2003)
Chu Min Li
Equivalent literal propagation in the DLL procedure. Discret. Appl. Math. 130 (2) (2003)
Hachemi Bennaceur, Chu Min Li
Characterizing SAT Problems with the Row Convexity Property. CP (2002)
Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez
A Hybrid Approach for SAT. CP (2002)
Bernard Jurkowiak, Chu Min Li, Gil Utard
Parallelizing Satz Using Dynamic Workload Balancing. Electron. Notes Discret. Math. 9 (2001)
Chu Min Li
Integrating Equivalency Reasoning into Davis-Putnam Procedure. AAAI/IAAI (2000)
Chu Min Li
Equivalency reasoning to solve a class of hard SAT problems. Inf. Process. Lett. 76 (1-2) (2000)
Chu Min Li, Sylvain Gérard
On the Limit of Branching Rules for Hard Random Unsatisfiable 3-SAT. ECAI (2000)
Chu Min Li
A Constraint-Based Approach to Narrow Search Trees for Satisfiability. Inf. Process. Lett. 71 (2) (1999)
Chu Min Li, Anbulagan
Look-Ahead Versus Look-Back for Satisfiability Problems. CP (1997)
Chu Min Li, Anbulagan
Heuristics Based on Unit Propagation for Satisfiability Problems. IJCAI (1) (1997)
Paul Y. Gloess, Miguel-Angel Oros, Chu Min Li
U-Log = datalog + constraints. JFPLC (1995)
Chu Min Li, Paul Y. Gloess
Realizing an efficient and incremental access to an object oriented database with Prolog. JFPL (1992)
Chu Min Li, Paul Y. Gloess
ProQuery: Logical Access to an OODB. PLILP (1992)
Chu Min Li, Paul Y. Gloess
Applying a unified object logic model to implement a strong and dynamic interface between Prolog and an OODBMS. BDA (1992)