( en | de | ru )

 

Disambiguation of "Li, Chu-Min"

Author of the publication

copydeleteadd this publication to your clipboard
An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers.

, , , , and . IJCAI, page 703-711. ijcai.org, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Li Chu

Min Li

Min-chü Han

Li-Qiang Chu

Tse-Li Chu

 

Other publications of authors with the same name

From Non-Clausal to Clausal MinSAT., , , and . CCIA, volume 339 of Frontiers in Artificial Intelligence and Applications, page 27-36. IOS Press, (2021)BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit., , , , , and . IJCAI, page 1901-1907. ijcai.org, (2022)A Clause Tableau Calculus for MinSAT., , and . CCIA, volume 288 of Frontiers in Artificial Intelligence and Applications, page 88-97. IOS Press, (2016)A Switching Criterion for Intensification and Diversification in Local Search for SAT., , and . J. Satisf. Boolean Model. Comput., 4 (2-4): 219-237 (2008)Solving longest common subsequence problems via a transformation to the maximum clique problem., , , , , , and . Comput. Oper. Res., (2021)Hybrid Learning with New Value Function for the Maximum Common Subgraph Problem., , , , and . CoRR, (2022)Exploiting Cycle Structures in Max-SAT., , , and . SAT, volume 5584 of Lecture Notes in Computer Science, page 467-480. Springer, (2009)Analysis and Generation of Pseudo-Industrial MaxSAT Instances., , , and . CCIA, volume 248 of Frontiers in Artificial Intelligence and Applications, page 173-184. IOS Press, (2012)U-Log = datalog + constraints., , and . JFPLC, page 369-372. (1995)Applying a unified object logic model to implement a strong and dynamic interface between Prolog and an OODBMS., and . BDA, page 280-. INRIA, (1992)