I agree that this site is using cookies. You can find further informations here.
X
Zhen, Hui-Ling
16830  results:
Search for persons X
?
1

HardSATGEN: Understanding the Difficulty of Hard SAT Formul..:

, In: Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining,
Li, Yang ; Chen, Xinyan ; Guo, Wenxuan... - p. 4414-4425 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

SATformer: Transformer-Based UNSAT Core Learning:

, In: 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD),
Shi, Zhengyuan ; Li, Min ; Liu, Yi... - p. 1-4 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Fault Simulation Acceleration Based on ARM Multi-core CPU A..:

, In: 2023 IEEE 32nd Asian Test Symposium (ATS),
Ye, Shi-Jie ; Liu, Yun-Ju ; Wang, Liu-Zheng... - p. 1-5 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Branch Ranking for Efficient Mixed-Integer Programming via ..:

, In: Machine Learning and Knowledge Discovery in Databases; Lecture Notes in Computer Science,
Huang, Zeren ; Chen, Wenhao ; Zhang, Weinan... - p. 377-392 , 2023
Link: https://doi.org/10.1007/..
 
?
5

DeepGate2: Functionality-Aware Circuit Representation Learn..:

, In: 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD),
Shi, Zhengyuan ; Pan, Hongyang ; Khan, Sadaf... - p. 1-9 , 2023
Link: https://doi.org/10.1109/..
 
?
6

A survey for solving mixed integer programming via machine ..:

Zhang, Jiayi ; Liu, Chang ; Li, Xijun...
Neurocomputing.  519 (2023)  - p. 205-217 , 2023
Link: https://doi.org/10.1016/..
 
?
7

Learning to select cuts for efficient mixed-integer program..:

Huang, Zeren ; Wang, Kerong ; Liu, Furui...
Pattern Recognition.  123 (2022)  - p. 108353 , 2022
Link: https://doi.org/10.1016/..
 
?
8

Accelerate SAT-based ATPG via Preprocessing and New Conflic..:

, In: 2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC),
Huang, Junhua ; Zhen, Hui-Ling ; Wang, Naixing... - p. 365-370 , 2022
Link: https://doi.org/10.1109/..
 
?
9

Bilevel learning for large-scale flexible flow shop schedul..:

Li, Longkang ; Fu, Xiaojin ; Zhen, Hui-Ling...
Computers & Industrial Engineering.  168 (2022)  - p. 108140 , 2022
Link: https://doi.org/10.1016/..
 
?
10

Neural Fault Analysis for SAT-based ATPG:

, In: 2022 IEEE International Test Conference (ITC),
Huang, Junhua ; Zhen, Hui-Ling ; Wang, Naixing... - p. 36-45 , 2022
Link: https://doi.org/10.1109/..
 
?
11

Multiobjective Optimization-Aided Decision-Making System fo..:

Wang, Zhenkun ; Zhen, Hui-Ling ; Deng, Jingda...
IEEE Transactions on Cybernetics.  52 (2022)  8 - p. 8326-8339 , 2022
Link: https://doi.org/10.1109/..
 
?
12

Accelerate the optimization of large-scale manufacturing pl..:

Zhen, Hui-Ling ; Wang, Zhenkun ; Li, Xijun...
Complex & Intelligent Systems.  8 (2021)  4 - p. 2719-2730 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Dynamic behaviors for a perturbed nonlinear Schrödinger equ..:

Chai, Jun ; Tian, Bo ; Zhen, Hui-Ling..
Communications in Nonlinear Science and Numerical Simulation.  45 (2017)  - p. 93-103 , 2017
Link: https://doi.org/10.1016/..
 
?
14

Dark and bright solitons for a three-dimensional Gross-Pita..:

Liu, Lei ; Tian, Bo ; Zhen, Hui-Ling..
Superlattices and Microstructures.  102 (2017)  - p. 498-511 , 2017
Link: https://doi.org/10.1016/..
 
?
15

Solitonic properties for a forced generalized variable-coef..:

Chai, Jun ; Tian, Bo ; Qu, Qi-Xing..
Waves in Random and Complex Media.  28 (2017)  3 - p. 453-467 , 2017
Link: https://doi.org/10.1080/..
 
1-15