John, A. K.Chakraborty, S.2017-05-052017-05-052016Formal Methods in System Design, 2016. Vol. 49 (3): pp. 272-323http://hdl.handle.net/123456789/144934023 bytestext/htmlenquantifier eliminationlinear modular arithmeticBit-precise verificationDecision diagramslayered algorithmA layered algorithm for quantifier elimination from linear modular constraintsArticle