Mengyu Zhao

最新

• A Local Search Algorithm for MaxSMT(LIA)
• An Efficient Local Search Algorithm for Large GD Advertising Inventory Allocation with Multilinear Constraints
• Distributed SMT Solving Based on Dynamic Variable-Level Partitioning
• NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem AAAI 2021: 12258-12266