Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations.

Himanshu Jain, Edmund M. Clarke, Orna Grumberg

Browse the full CAV paper archive.