Shankara Narayanan Krishna

Latest

• An Efficient Quantifier Elimination Procedure for Presburger Arithmetic