Solving $\mathrm {LIA} ^\star $ Using Approximations.

Maxwell Levatich, Nikolaj S. Bjrner, Ruzica Piskac, Sharon Shoham

Browse the full VMCAI paper archive.