2 papers
cs.AI2024
Local Search for Integer Quadratic Programming
Xiang He, Peng Lin, Shaowei Cai
Integer Quadratic Programming (IQP) is an important problem in operations research. Local search is a powerful method for solving hard problems, but the research on local search al…
cs.SC2024
A Local Search Algorithm for MaxSMT(LIA)
Xiang He, Bohan Li, Mengyu Zhao +1
MaxSAT modulo theories (MaxSMT) is an important generalization of Satisfiability modulo theories (SMT) with various applications. In this paper, we focus on MaxSMT with the backgro…