Mengyu Zhao

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 14

Top Topics

Theoretical Analysis

Search Algorithm

Top Venues

Cyberpsychology Behav. Soc. Netw.

Data Technol. Appl.

Int. J. Intell. Syst.

Publications

Mengyu Zhao, Xi Chen, Xin Yuan, Shirin Jalali
Untrained Neural Nets for Snapshot Compressive Imaging: Theory and Algorithms. CoRR (2024)
Xiang He, Wuyang Mao, Zhenghang Xu, Yuanzhe Gu, Yundu Huang, Zhonglin Zu, Liang Wang, Mengyu Zhao, Mengchuan Zou
An Efficient Local Search Algorithm for Large GD Advertising Inventory Allocation with Multilinear Constraints. KDD (2024)
Mengyu Zhao, Shaowei Cai, Yuhang Qian
Distributed SMT Solving Based on Dynamic Variable-Level Partitioning. CAV (1) (2024)
Suyu Wang, Quan Yue, Mengyu Zhao, Huazhi Zhang, Yan Li
A Fast Optimal Coordination Method for Multiagent in Complex Environment. Int. J. Intell. Syst. 2024 (2024)
Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai
A Local Search Algorithm for MaxSMT(LIA). CoRR (2024)
Yan Li, Mengyu Zhao, Xindi Zhang, Yiyuan Wang
A fast local search algorithm for minimum sum coloring problem on massive graphs. Comput. Oper. Res. 172 (2024)
Zuntian Wei, Weiming Peng, Jihua Song, Shaodong Wang, Mengyu Zhao
Teaching Chinese Pattern Extraction and Its Knowledge Base Construction for Specific Domain Texts. CLSW (2) (2023)
Pengfei Yang, Zhiming Chi, Zongxin Liu, Mengyu Zhao, Cheng-Chao Huang, Shaowei Cai, Lijun Zhang
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks. CoRR (2023)
Mengyu Zhao, Shirin Jalali
Theoretical Analysis of Binary Masks in Snapshot Compressive Imaging Systems. CoRR (2023)
Mengyu Zhao, Yan Lu, Mark D. Wiederhold, Brenda K. Wiederhold, Hang Chu, Li Yan
Virtual Reality Visual Perceptual Plastic Training Promotes Retinal Structure and Macular Function Recovery in Glaucoma Patients. Cyberpsychology Behav. Soc. Netw. 26 (11) (2023)
Mengyu Zhao, Shirin Jalali
Theoretical Analysis of Binary Masks in Snapshot Compressive Imaging Systems. Allerton (2023)
Jiejiang Chen, Shaowei Cai, Shiwei Pan, Yiyuan Wang, Qingwei Lin, Mengyu Zhao, Minghao Yin
NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem. AAAI (2021)
Yupeng Zhou, Mengyu Zhao, Mingjie Fan, Yiyuan Wang, Jianan Wang
An efficient local search for large-scale set-union knapsack problem. Data Technol. Appl. 55 (2) (2021)
Mengyu Zhao, Yifei Wei, Qiao Li, Mei Song, Ningning Liu
Energy Harvesting Time Coefficient Analyze for Cognitive Radio Sensor Network Using Game Theory. HCC (2017)