Login / Signup

Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations.

Himanshu JainEdmund M. ClarkeOrna Grumberg
Published in: Formal Methods Syst. Des. (2009)
Keyphrases