Khushraj Madnani

Latest

• An Efficient Quantifier Elimination Procedure for Presburger Arithmetic