Chu Min Li

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