default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHui-Ling Zhen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c12]Hongduo Liu
, Peng Xu, Yuan Pu, Lihao Yin, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu:
NeuroSelect: Learning to Select Clauses in SAT Solvers. DAC 2024: 131:1-131:6- [c11]Hongduo Liu, Peiyu Liao, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu:
Parallel Gröbner Basis Rewriting and Memory Optimization for Efficient Multiplier Verification. DATE 2024: 1-6 - [c10]Zehua Pei, Hui-Ling Zhen, Mingxuan Yuan, Yu Huang, Bei Yu:
BetterV: Controlled Verilog Generation with Discriminative Guidance. ICML 2024 - [c9]Zhanguang Zhang, Didier Chételat, Joseph Cotnareanu, Amur Ghose, Wenyi Xiao, Hui-Ling Zhen, Yingxue Zhang, Jianye Hao, Mark Coates, Mingxuan Yuan:
GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection. KDD 2024: 6301-6311 - [i20]Xijun Li, Fangzhou Zhu, Hui-Ling Zhen, Weilin Luo, Meng Lu, Yimin Huang, Zhenan Fan, Zirui Zhou, Yufei Kuang, Zhihai Wang, Zijie Geng, Yang Li, Haoyang Liu, Zhiwu An, Muming Yang, Jianshu Li, Jie Wang, Junchi Yan, Defeng Sun, Tao Zhong, Yong Zhang, Jia Zeng, Mingxuan Yuan, Jianye Hao, Jun Yao, Kun Mao:
Machine Learning Insides OptVerse AI Solver: Design Principles and Applications. CoRR abs/2401.05960 (2024) - [i19]Ruizhe Zhong, Xingbo Du, Shixiong Kai, Zhentao Tang, Siyuan Xu, Hui-Ling Zhen, Jianye Hao, Qiang Xu, Mingxuan Yuan, Junchi Yan:
LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automation. CoRR abs/2401.12224 (2024) - [i18]Zehua Pei, Hui-Ling Zhen, Mingxuan Yuan, Yu Huang, Bei Yu:
BetterV: Controlled Verilog Generation with Discriminative Guidance. CoRR abs/2402.03375 (2024) - [i17]Yu Zhang, Hui-Ling Zhen, Zehua Pei, Yingzhao Lian, Lihao Yin, Mingxuan Yuan, Bei Yu:
SoLA: Solver-Layer Adaption of LLM for Better Logic Reasoning. CoRR abs/2402.11903 (2024) - [i16]Tsz Ho Chan, Wenyi Xiao, Junhua Huang, Hui-Ling Zhen, Guangji Tian, Mingxuan Yuan:
IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability. CoRR abs/2403.03517 (2024) - [i15]Lei Chen, Yiqi Chen, Zhufei Chu, Wenji Fang, Tsung-Yi Ho, Yu Huang, Sadaf Khan, Min Li, Xingquan Li, Yun Liang, Yibo Lin, Jinwei Liu, Yi Liu, Guojie Luo, Zhengyuan Shi, Guangyu Sun, Dimitrios Tsaras, Runsheng Wang, Ziyi Wang, Xinming Wei, Zhiyao Xie, Qiang Xu, Chenhao Xue, Evangeline F. Y. Young, Bei Yu, Mingxuan Yuan, Haoyi Zhang, Zuodong Zhang, Yuxiang Zhao, Hui-Ling Zhen, Ziyang Zheng, Binwu Zhu, Keren Zhu, Sunan Zou:
The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models. CoRR abs/2403.07257 (2024) - [i14]Zhengyuan Shi, Tiebing Tang, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu:
EDA-Driven Preprocessing for SAT Solving. CoRR abs/2403.19446 (2024) - [i13]Zhanguang Zhang, Didier Chételat, Joseph Cotnareanu, Amur Ghose, Wenyi Xiao, Hui-Ling Zhen, Yingxue Zhang, Jianye Hao, Mark Coates, Mingxuan Yuan:
GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection. CoRR abs/2405.11024 (2024) - [i12]Joseph Cotnareanu, Zhanguang Zhang, Hui-Ling Zhen, Yingxue Zhang, Mark Coates:
HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation. CoRR abs/2409.18778 (2024) - 2023
- [j11]Wenxuan Guo, Hui-Ling Zhen, Xijun Li, Wanqian Luo, Mingxuan Yuan, Yaohui Jin, Junchi Yan:
Machine Learning Methods in Solving the Boolean Satisfiability Problem. Mach. Intell. Res. 20(5): 640-655 (2023) - [j10]Jiayi Zhang, Chang Liu, Xijun Li, Hui-Ling Zhen, Mingxuan Yuan, Yawen Li, Junchi Yan:
A survey for solving mixed integer programming via machine learning. Neurocomputing 519: 205-217 (2023) - [c8]Shi-Jie Ye, Yun-Ju Liu, Liuzheng Wang, Hui-Ling Zhen, Wei-Ming Zhang, Yu Huang:
Fault Simulation Acceleration Based on ARM Multi-core CPU Architecture. ATS 2023: 1-5 - [c7]Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu:
SATformer: Transformer-Based UNSAT Core Learning. ICCAD 2023: 1-4 - [c6]Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu:
DeepGate2: Functionality-Aware Circuit Representation Learning. ICCAD 2023: 1-9 - [c5]Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan:
HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline. KDD 2023: 4414-4425 - [i11]Hui-Ling Zhen, Naixing Wang, Junhua Huang, Xinyue Huang, Mingxuan Yuan, Yu Huang:
Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG. CoRR abs/2303.02290 (2023) - [i10]Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu:
DeepGate2: Functionality-Aware Circuit Representation Learning. CoRR abs/2305.16373 (2023) - 2022
- [j9]Longkang Li, Xiaojin Fu, Hui-Ling Zhen, Mingxuan Yuan, Jun Wang, Jiawen Lu, Xialiang Tong, Jia Zeng, Dirk Schnieders:
Bilevel learning for large-scale flexible flow shop scheduling. Comput. Ind. Eng. 168: 108140 (2022) - [j8]Zeren Huang, Kerong Wang, Furui Liu, Hui-Ling Zhen, Weinan Zhang, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang:
Learning to select cuts for efficient mixed-integer programming. Pattern Recognit. 123: 108353 (2022) - [j7]Zhenkun Wang, Hui-Ling Zhen, Jingda Deng, Qingfu Zhang, Xijun Li, Mingxuan Yuan, Jia Zeng:
Multiobjective Optimization-Aided Decision-Making System for Large-Scale Manufacturing Planning. IEEE Trans. Cybern. 52(8): 8326-8339 (2022) - [c4]Junhua Huang, Hui-Ling Zhen, Naixing Wang, Mingxuan Yuan, Hui Mao, Yu Huang, Jiping Tao:
Accelerate SAT-based ATPG via Preprocessing and New Conflict Management Heuristics. ASP-DAC 2022: 365-370 - [c3]Junhua Huang, Hui-Ling Zhen, Naixing Wang, Hui Mao, Mingxuan Yuan, Yu Huang:
Neural Fault Analysis for SAT-based ATPG. ITC 2022: 36-45 - [c2]Zeren Huang, Wenhao Chen, Weinan Zhang, Chuhan Shi, Furui Liu, Hui-Ling Zhen, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang:
Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-Based Policy Learning. ECML/PKDD (5) 2022: 377-392 - [i9]Jiayi Zhang, Chang Liu, Junchi Yan, Xijun Li, Hui-Ling Zhen, Mingxuan Yuan:
A Survey for Solving Mixed Integer Programming via Machine Learning. CoRR abs/2203.02878 (2022) - [i8]Wenxuan Guo, Junchi Yan, Hui-Ling Zhen, Xijun Li, Mingxuan Yuan, Yaohui Jin:
Machine Learning Methods in Solving the Boolean Satisfiability Problem. CoRR abs/2203.04755 (2022) - [i7]Zeren Huang, Wenhao Chen, Weinan Zhang, Chuhan Shi, Furui Liu, Hui-Ling Zhen, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang:
Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-based Policy Learning. CoRR abs/2207.13701 (2022) - [i6]Zhengyuan Shi, Min Li, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu:
SATformer: Transformers for SAT Solving. CoRR abs/2209.00953 (2022) - 2021
- [i5]Zeren Huang, Kerong Wang, Furui Liu, Hui-Ling Zhen, Weinan Zhang, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang:
Learning to Select Cuts for Efficient Mixed-Integer Programming. CoRR abs/2105.13645 (2021) - 2020
- [j6]Zhenhua Li, Qingfu Zhang, Xi Lin, Hui-Ling Zhen:
Fast Covariance Matrix Adaptation for Large-Scale Black-Box Optimization. IEEE Trans. Cybern. 50(5): 2073-2083 (2020) - [i4]Longkang Li, Hui-Ling Zhen, Mingxuan Yuan, Jiawen Lu, Xialiang Tong, Jia Zeng, Jun Wang, Dirk Schnieders:
Bilevel Learning Model Towards Industrial Scheduling. CoRR abs/2008.04130 (2020)
2010 – 2019
- 2019
- [c1]Xi Lin, Hui-Ling Zhen, Zhenhua Li, Qingfu Zhang, Sam Kwong:
Pareto Multi-Task Learning. NeurIPS 2019: 12037-12047 - [i3]Xi Lin, Hui-Ling Zhen, Zhenhua Li, Qingfu Zhang, Sam Kwong:
Pareto Multi-Task Learning. CoRR abs/1912.12854 (2019) - 2018
- [i2]Hui-Ling Zhen, Xi Lin, Alan Z. Tang, Zhenhua Li, Qingfu Zhang, Sam Kwong:
Nonlinear Collaborative Scheme for Deep Neural Networks. CoRR abs/1811.01316 (2018) - [i1]Xi Lin, Hui-Ling Zhen, Zhenhua Li, Qingfu Zhang, Sam Kwong:
A Batched Scalable Multi-Objective Bayesian Optimization Algorithm. CoRR abs/1811.01323 (2018) - 2017
- [j5]Jun Chai, Bo Tian, Hui-Ling Zhen, Wen-Rong Sun, De-Yin Liu:
Dynamic behaviors for a perturbed nonlinear Schrödinger equation with the power-law nonlinearity in a non-Kerr medium. Commun. Nonlinear Sci. Numer. Simul. 45: 93-103 (2017) - 2016
- [j4]Hui-Ling Zhen, Bo Tian, Ya Sun, Jun Chai:
Soliton solutions and chaotic motions for the (2+1)-dimensional Zakharov equations in a laser-induced plasma. Comput. Math. Appl. 71(7): 1337-1348 (2016) - [j3]Lei Liu, Bo Tian, Wen-Rong Sun, Hui-Ling Zhen, Wen-Rui Shan:
Bright-dark vector soliton solutions for a generalized coupled Hirota system in the optical glass fiber. Commun. Nonlinear Sci. Numer. Simul. 39: 545-555 (2016) - 2014
- [j2]Hui-Ling Zhen, Bo Tian, Wen-Rong Sun:
Dynamics of an integrable Kadomtsev-Petviashvili-based system. Appl. Math. Lett. 27: 90-96 (2014) - [j1]Hui-Ling Zhen, Bo Tian, Hui Zhong, Yan Jiang:
Dynamic behaviors and soliton solutions of the modified Zakharov-Kuznetsov equation in the electrical transmission line. Comput. Math. Appl. 68(5): 579-588 (2014)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 22:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
