A layered algorithm for quantifier elimination from linear modular constraints

No Thumbnail Available

Click here to download

1136.htm (3.93 KB)

Date

2016

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

quantifier elimination, linear modular arithmetic, Bit-precise verification, Decision diagrams, layered algorithm

Source

Formal Methods in System Design, 2016. Vol. 49 (3): pp. 272-323

URI

http://hdl.handle.net/123456789/14493

Collections

2016