Search

Mengyu Zhao

Distributed SMT Solving Based on Dynamic Variable-Level Partitioning
A Fast Local Search Algorithm for Minimum Sum Coloring Problem on Massive Graphs
A Local Search Algorithm for MaxSMT (LIA)
A Local Search Algorithm for MaxSMT(LIA)
An Efficient Local Search Algorithm for Large GD Advertising Inventory Allocation with Multilinear Constraints

Languages:

English

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.