A layered algorithm for quantifier elimination from linear modular constraints

Simple item page
dc.contributor.authorJohn, A. K.
dc.contributor.authorChakraborty, S.
dc.date.accessioned2017-05-05T08:33:38Z
dc.date.available2017-05-05T08:33:38Z
dc.date.issued2016
dc.description.divisionBARCen
dc.format.extent4023 bytes
dc.format.mimetypetext/html
dc.identifier.sourceFormal Methods in System Design, 2016. Vol. 49 (3): pp. 272-323en
dc.identifier.urihttp://hdl.handle.net/123456789/14493
dc.language.isoenen
dc.subjectquantifier eliminationen
dc.subjectlinear modular arithmeticen
dc.subjectBit-precise verificationen
dc.subjectDecision diagramsen
dc.subjectlayered algorithmen
dc.titleA layered algorithm for quantifier elimination from linear modular constraintsen
dc.typeArticleen

Click here to download

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
1136.htm
Size:
3.93 KB
Format:
Hypertext Markup Language
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.81 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

2016