Propagation based local search for bit-precise reasoning (Q1688546)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Propagation based local search for bit-precise reasoning |
scientific article |
Statements
Propagation based local search for bit-precise reasoning (English)
0 references
8 January 2018
0 references
satisfiability modulo theories
0 references
local search
0 references
bit-vector reasoning
0 references
0 references
