Mengyu Zhao

According to our database, Mengyu Zhao authored at least 13 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Fast Optimal Coordination Method for Multiagent in Complex Environment.

Suyu Wang, Quan Yue, Mengyu Zhao, Huazhi Zhang, Yan Li

Int. J. Intell. Syst., 2024

Untrained Neural Nets for Snapshot Compressive Imaging: Theory and Algorithms.

Mengyu Zhao, Xi Chen, Xin Yuan, Shirin Jalali

CoRR, 2024

A fast local search algorithm for minimum sum coloring problem on massive graphs.

Yan Li, Mengyu Zhao, Xindi Zhang, Yiyuan Wang

Comput. Oper. Res., 2024

An Efficient Local Search Algorithm for Large GD Advertising Inventory Allocation with Multilinear Constraints.

Xiang He, Wuyang Mao, Zhenghang Xu, Yuanzhe Gu, Yundu Huang, Zhonglin Zu, Liang Wang, Mengyu Zhao, Mengchuan Zou

Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024

A Local Search Algorithm for MaxSMT(LIA).

Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai

Proceedings of the Formal Methods - 26th International Symposium, 2024

Distributed SMT Solving Based on Dynamic Variable-Level Partitioning.

Mengyu Zhao, Shaowei Cai, Yuhang Qian

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Virtual Reality Visual Perceptual Plastic Training Promotes Retinal Structure and Macular Function Recovery in Glaucoma Patients.

Mengyu Zhao, Yan Lu, Mark D. Wiederhold, Brenda K. Wiederhold, Hang Chu, Li Yan

Cyberpsychology Behav. Soc. Netw., November, 2023

Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks.

Pengfei Yang, Zhiming Chi, Zongxin Liu, Mengyu Zhao, Cheng-Chao Huang, Shaowei Cai, Lijun Zhang

CoRR, 2023

Teaching Chinese Pattern Extraction and Its Knowledge Base Construction for Specific Domain Texts.

Zuntian Wei, Weiming Peng, Jihua Song, Shaodong Wang, Mengyu Zhao

Proceedings of the Chinese Lexical Semantics - 24th Workshop, 2023

Theoretical Analysis of Binary Masks in Snapshot Compressive Imaging Systems.

Mengyu Zhao, Shirin Jalali

Proceedings of the 59th Annual Allerton Conference on Communication, 2023

2021

An efficient local search for large-scale set-union knapsack problem.

Yupeng Zhou, Mengyu Zhao, Mingjie Fan, Yiyuan Wang, Jianan Wang

Data Technol. Appl., 2021

NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem.

Jiejiang Chen, Shaowei Cai, Shiwei Pan, Yiyuan Wang, Qingwei Lin, Mengyu Zhao, Minghao Yin

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2017

Energy Harvesting Time Coefficient Analyze for Cognitive Radio Sensor Network Using Game Theory.

Mengyu Zhao, Yifei Wei, Qiao Li, Mei Song, Ningning Liu

Proceedings of the Human Centered Computing - Third International Conference, 2017