| 2026 | PPSN | Parallel Local Search for MaxSAT with Solutions and Score Functions Co-evolving. | Mengchuan Zou, Peng Lin, Yi Chu, Shaowei Cai |
| 2025 | CP | Parallel MIP Solving with Dynamic Task Decomposition. | Peng Lin, Shaowei Cai, Mengchuan Zou, Shengqi Chen |
| 2024 | CP | An Efficient Local Search Solver for Mixed Integer Programming. | Peng Lin, Mengchuan Zou, Shaowei Cai |
| 2024 | IJCAI | ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism. | Peng Lin, Mengchuan Zou, Zhihan Chen, 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 |
| 2023 | DAC | Layout Decomposition via Boolean Satisfiability. | Hongduo Liu, Peiyu Liao, Mengchuan Zou, Bowen Pang, Xijun Li, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu |
| 2019 | IWOCA | A General Algorithmic Scheme for Modular Decompositions of Hypergraphs and Applications. | Michel Habib, Fabien de Montgolfier, Lalla Mouatadid, Mengchuan Zou |
| 2017 | ICALP | Approximation Strategies for Generalized Binary Search in Weighted Trees. | Dariusz Dereniowski, Adrian Kosowski, Przemyslaw Uznanski, Mengchuan Zou |