Om Swostik Mishra

Latest

• An Efficient Quantifier Elimination Procedure for Presburger Arithmetic