collaborators

1 paper

cs.LO2023

Variable Independence in Linear Real Arithmetic

Alexander Mayorov

Variable independence and decomposability are algorithmic techniques for simplifying logical formulas by tearing apart connections between free variables. These techniques were ori…