| CARVIEW |
Select Language
HTTP/2 302
content-type: text/html; charset=utf-8
location: //fmv.jku.at/fmsd16/
vary: Origin
x-request-id: 01KEYRAE1VTVZCJKTTNR5BHXYF
content-length: 43
date: Wed, 14 Jan 2026 17:19:43 GMT
HTTP/2 200
accept-ranges: bytes
cache-control: max-age=600
content-type: text/html; charset=utf-8
etag: "6eb996eab52cf1ece84e8bcdf0c9098455aa98f8d4214cdc612732cacd3708a8"
expires: Wed, 14 Jan 2026 18:29:43 CET
last-modified: Thu, 25 Sep 2025 14:38:37 GMT
vary: Origin
x-request-id: 01KEYRAE6G669S9CDRWPFVVB1V
content-length: 6659
date: Wed, 14 Jan 2026 17:19:43 GMT
FMSD SMT Special Issue 2016 Submission
|
team
|
FMSD SMT Special Issue 2016 SubmissionPropagation Based Local Search for Bit-Precise ReasoningAina Niemetz, Mathias Preiner, and Armin BiereOverviewThis site provides supplemental materials for the following paper: Aina Niemetz, Mathias Preiner, Armin Biere. Propagation
based local search for bit-precise reasoning . In Journal of
Formal Methods in
System Design, vol. 51(3), pages 608-636, Springer
2017. Downloads
|
