no code implementations • 16 May 2023 • Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit
Our evaluation indicates that our general modules are often smaller than classical modules and uniform interpolants computed by the state-of-the-art, and compared with uniform interpolants, can be computed in a significantly shorter time.