E-LIB Suche - Ergebnisse für: Li, Chu Min

1

A Tableau Calculus for Signed Maximum Satisfiability:

, In: 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL),

Li, Shuolin ; Coll, Jordi ; Habet, Djamal.. - p. 170-175 , 2023

2

Clausal Forms in MaxSAT and MinSAT:

Li, Chu Min ; Manyà, Felip ; Soler, Joan Ramon.
International Journal of Computational Intelligence Systems. 15 (2022) 1 - p. , 2022

Link: https://doi.org/10.1007/..

3

Tableaux for Maximum Satisfiability in Łukasiewicz Logic:

, In: 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL),

Li, Chu Min ; Manya, Felip ; Vidal, Amanda - p. 243-248 , 2020

Link: https://doi.org/10.1109/..

4

Clause tableaux for maximum and minimum satisfiability:

Argelich, Josep ; Li, Chu Min ; Manyà, Felip.
Logic Journal of the IGPL. 29 (2019) 1 - p. 7-27 , 2019

Link: https://doi.org/10.1093/..

5

Optimizing with minimum satisfiability:

Li, Chu Min ; Zhu, Zhu ; Manyà, Felip.
Artificial Intelligence. 190 (2012) - p. 32-44 , 2012

Link: https://doi.org/10.1016/..

6

Resolution-based lower bounds in MaxSAT:

Li, Chu Min ; Manyà, Felip ; Mohamedou, Nouredine Ould.
Constraints. 15 (2010) 4 - p. 456-484 , 2010

Link: https://doi.org/10.1007/..

7

New heuristics for packing unequal circles into a circular ..:

Huang, Wen Qi ; Li, Yu ; Li, Chu Min.
Computers & Operations Research. 33 (2006) 8 - p. 2125-2142 , 2006

Link: https://doi.org/10.1016/..

8

A Parallelization Scheme Based on Work Stealing for a Class..:

Jurkowiak, Bernard ; Li, Chu Min ; Utard, Gil
Journal of Automated Reasoning. 34 (2005) 1 - p. 73-101 , 2005

Link: https://doi.org/10.1007/..

9

Parallelizing Satz Using Dynamic Workload Balancing:

Jurkowiak, Bernard ; Li, Chu Min ; Utard, Gil
Electronic Notes in Discrete Mathematics. 9 (2001) - p. 174-189 , 2001

Link: https://doi.org/10.1016/..

10

Equivalency reasoning to solve a class of hard SAT problems:

Li, Chu Min
Information Processing Letters. 76 (2000) 1-2 - p. 75-81 , 2000

Link: https://doi.org/10.1016/..

11

A constraint-based approach to narrow search trees for sati..:

Li, Chu Min
Information Processing Letters. 71 (1999) 2 - p. 75-80 , 1999

Link: https://doi.org/10.1016/..

12

An efficient solution space exploring and descent method fo..:

Zhou, Jianrong ; Ren, Shuo ; He, Kun..
Computers & Operations Research. 164 (2024) - p. 106522 , 2024

Link: https://doi.org/10.1016/..

13

Geometric batch optimization for packing equal circles in a..:

Zhou, Jianrong ; He, Kun ; Zheng, Jiongzhi.
Expert Systems with Applications. 250 (2024) - p. 123952 , 2024

Link: https://doi.org/10.1016/..

14

MaxSAT resolution for regular propositional logic:

Coll, Jordi ; Li, Chu-Min ; Manyà, Felip.
International Journal of Approximate Reasoning. 162 (2023) - p. 109010 , 2023

Link: https://doi.org/10.1016/..

15

On solving simplified diversified top-k s-plex problem:

Wu, Jun ; Li, Chu-Min ; Wang, Luzhi...
Computers & Operations Research. 153 (2023) - p. 106187 , 2023

Link: https://doi.org/10.1016/..