most citedDatapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization

9 citations · 10 across the 5 of their papers we have counts for

collaborators
Showing cs.SCShow all

1 paper · 1 filter

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…