Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic

Shuvendu K. Lahiri, Krishna K. Mehra. Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic. JSAT, 1(3-4):187-207, 2007. [doi]

Authors

Shuvendu K. Lahiri

This author has not been identified. Look up 'Shuvendu K. Lahiri' in Google

Krishna K. Mehra

This author has not been identified. Look up 'Krishna K. Mehra' in Google