1 paper
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…