Record link: 
http://hdl.handle.net/20.500.12708/15525
https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_29
-
Title: 
Ternary Propagation-Based Local Search for More Bit-Precise Reasoning
en
Citation: 
Niemetz, A., & Preiner, M. (2020). Ternary Propagation-Based Local Search for More Bit-Precise Reasoning. In A. Ivrii & O. Strichman (Eds.), Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 (pp. 214–224). TU Wien Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_29
-
reposiTUm DOI: 
10.34727/2020/isbn.978-3-85448-042-6_29
-
CatalogPlus: 
AC17204725
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Niemetz, Aina 
Preiner, Mathias 
-
Editors: 
Ivrii, Alexander 
Strichman, Ofer 
-
Organisational Unit: 
E000 - Technische Universität Wien 
-
Series: 
Conference Series: Formal Methods in Computer-Aided Design 
-
Published in: 
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 
-
Volume: 
1
-
Date (published): 
2020
-
Number of Pages: 
11
-
Publisher: 
TU Wien Academic Press, Wien
-
Keywords: 
computer-aided system design
en
Linked records in reposiTUm: is part of: 
10.34727/2020/isbn.978-3-85448-042-6
-
Science Branch: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
License: 
CC BY 4.0 CC BY 4.0
en
Appears in Collections:
Open Access Series
Conference Paper

Thumbnail
Fulltext (Corrected Version of Record)
Adobe PDF
(5.05 MB)
Open Access CC BY 4.0
Show full item record
Version History
Version Item submitted by Date Summary
2 20.500.12708/15525 Krassnig, David 2025-08-13 14:58:51.726 Correction of a misprint concerning the invertibility condition for bit-vector predicate in Table II
1 20.500.12708/15525.1 Andrae, Magdalena 2020-09-11 17:53:09.0
Selected version

Page view(s)

100
checked on Aug 13, 2025

Download(s)

9
checked on Aug 13, 2025

Google ScholarTM

Check