I agree that this site is using cookies. You can find further informations here.
X
Li, Chu Min
1287  results:
Bookchapter (Online) X
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

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

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

Modeling and optimization of the capacity allocation proble..:

, In: 2006 International Conference onResearch, Innovation and Vision for the Future,
Idrissi, A. ; Chu Min Li - p. 107-116 , 2006
Link: https://doi.org/10.1109/..
 
?
6

Diagnosis Method for Inter-Turn Short Circuit in Winding Ba..:

, In: The proceedings of the 10th Frontier Academic Forum of Electrical Engineering (FAFEE2022); Lecture Notes in Electrical Engineering,
Zhao, Haipeng ; Xue, Mengjiao ; Li, Chu... - p. 1205-1215 , 2023
Link: https://doi.org/10.1007/..
 
?
7

List of Contributors:

, In: Basic and Applied Bone Biology,
Akkus, Ozan ; Allen, Matthew R. ; Babler, William J... - p. xv , 2014
Link: https://doi.org/10.1016/..
 
?
8

The progress of strontium optical clock at NIM:

, In: EFTF-2010 24th European Frequency and Time Forum,
Wang, Shao-Kai ; Wang, Qiang ; Lin, Bai-Ke... - p. 1-6 , 2010
Link: https://doi.org/10.1109/..
 
?
9

List of contributors:

, In: Feldman and Pike' s Vitamin D,
Adams, John S. ; Amrein, Karin ; Anderson, Paul H.... - p. xxvii-xxxiv , 2024
Link: https://doi.org/10.1016/..
 
?
10

A Reactive Power Distribution Method for the Reactive Power..:

, In: 2022 IEEE Applied Power Electronics Conference and Exposition (APEC),
Li, Gongheng ; Chen, Min ; Jie, Yufei. - p. 1920-1925 , 2022
Link: https://doi.org/10.1109/..
 
?
11

Retinal resolution display technology brings impact to VR i..:

, In: ACM SIGGRAPH 2018 Posters,
Chiang, Yen-Chih ; Cheng, Shih-Song ; Chen, Huei-Siou... - p. 1-2 , 2018
Link: https://dl.acm.org/doi/1..
 
?
12

Contributors:

, In: Handbook of Biologically Active Peptides,
Adams, Michael E. ; Ait-Ali, Djida ; Allen, Stephanie D.... - p. xix-xxxviii , 2006
Link: https://doi.org/10.1016/..
 
?
13

Wavelet approach to image transformation:

, In: Proceedings of the 4th international symposium on Information and communication technologies,
Cui, Li Min ; Tang, Yuan Yan ; ChengLiao, Fu. - p. 217-222 , 2005
Link: https://dl.acm.org/doi/1..
 
?
14

List of contributors:

, In: Scale-up and Chemical Process for Microbial Production of Plant-Derived Bioactive Compounds,
Chen, Anqi ; Chen, Min ; Cheng, Cheng... - p. xi-xiv , 2024
Link: https://doi.org/10.1016/..
 
?
15

Layout Guidelines against Charging Damage from the Well-Sid..:

, In: 2024 IEEE International Reliability Physics Symposium (IRPS),
Kuo, Hsi-Yu ; Chu, Yu-Lin ; Dai, Hung-Da... - p. 1-6 , 2024
Link: https://doi.org/10.1109/..
 
1-15