Mengyu Zhao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Improving Stability of SMT Solvers via Context-Driven Normalization. | Xiang Zhang, Mengyu Zhao, Shaohuang Chen, Jian Zhang, Shaowei Cai |
| 2024 | CAV | Distributed SMT Solving Based on Dynamic Variable-Level Partitioning. | Mengyu Zhao, Shaowei Cai, Yuhang Qian |
| 2024 | FM | A Local Search Algorithm for MaxSMT(LIA). | Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai |
| 2024 | KDD | 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 |
| 2021 | AAAI | 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 |