A Local Search Algorithm for MaxSMT(LIA).

Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai

Browse the full FM paper archive.