I agree that this site is using cookies. You can find further informations here.
X
Li, Chu Min
32235  results:
Search for persons X
?
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
Link: https://doi.org/10.1109/..
 
?
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

Inference in MaxSAT and MinSAT:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,
Li, Chu Min ; Manyà, Felip - p. 350-369 , 2022
Link: https://doi.org/10.1007/..
 
?
4

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/..
 
?
5

A Tableau Calculus for Non-clausal Maximum Satisfiability:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
Li, Chu Min ; Manyà, Felip ; Soler, Joan Ramon - p. 58-73 , 2019
Link: https://doi.org/10.1007/..
 
?
6

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/..
 
?
7

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/..
 
?
8

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/..
 
?
9

A Switching Criterion for Intensification and Diversificati..:

Wei, Wanxia ; Li, Chu Min ; Zhang, Harry...
Journal on Satisfiability, Boolean Modeling and Computation.  4 (2008)  2-4 - p. 219-237 , 2008
Link: https://doi.org/10.3233/..
 
?
10

PicoSAT Essentials:

Biere, Armin ; Speckenmeyer, Ewald ; Li, Chu Min..
Journal on Satisfiability, Boolean Modeling and Computation.  4 (2008)  2-4 - p. 75-97 , 2008
Link: https://doi.org/10.3233/..
 
?
11

The First and Second Max-SAT Evaluations:

Argelich, Josep ; Li, Chu-Min ; Manyà, Felip...
Journal on Satisfiability, Boolean Modeling and Computation.  4 (2008)  2-4 - p. 251-278 , 2008
Link: https://doi.org/10.3233/..
 
?
12

Combining Adaptive and Dynamic Local Search for Satisfiabil..:

Nghia Pham, Duc ; Thornton, John ; Gretton, Charles...
Journal on Satisfiability, Boolean Modeling and Computation.  4 (2008)  2-4 - p. 149-172 , 2008
Link: https://doi.org/10.3233/..
 
?
13

tts: A SAT-Solver for Small, Difficult Instances:

Spence, Ivor ; Speckenmeyer, Ewald ; Li, Chu Min..
Journal on Satisfiability, Boolean Modeling and Computation.  4 (2008)  2-4 - p. 173-190 , 2008
Link: https://doi.org/10.3233/..
 
?
14

Solving Weighted Max-SAT Problems in a Reduced Search Space..:

Pipatsrisawat, Knot ; Palyan, Akop ; Chavira, Mark...
Journal on Satisfiability, Boolean Modeling and Computation.  4 (2008)  2-4 - p. 191-217 , 2008
Link: https://doi.org/10.3233/..
 
?
15

Parallel SAT Solving using Bit-level Operations1:

Heule, Marijn ; van Maaren, Hans ; Speckenmeyer, Ewald...
Journal on Satisfiability, Boolean Modeling and Computation.  4 (2008)  2-4 - p. 99-116 , 2008
Link: https://doi.org/10.3233/..
 
1-15