A layered algorithm for quantifier elimination from linear modular constraints (Q2363817)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A layered algorithm for quantifier elimination from linear modular constraints |
scientific article |
Statements
A layered algorithm for quantifier elimination from linear modular constraints (English)
0 references
26 July 2017
0 references
quantifier elimination
0 references
linear modular arithmetic
0 references
bit-precise verification
0 references
decision diagrams
0 references
layered algorithm
0 references
0 references
0 references
0 references
