Bit-Vector Optimization-Reference-Cited by-同舟云学术

Bit-Vector Optimization

Published:2016 Issue: Volume: Page:851-867
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Nadel Alexander,Ryvchin Vadim

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-49674-9_53

Reference42 articles.

1. Lecture Notes in Computer Science,2015

2. Balas, E.: Disjunctive programming: properties of the convex hull of feasible points. Discrete Appl. Math. 89(1–3), 3–44 (1998)

3. Lecture Notes in Computer Science;E Balas,2007

4. Barrett, C., Fontaine, P., Stump, A., Tinelli, C.: The SMT LIB standard. Version 2.5. http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.5-r2015-06-28.pdf

5. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard: version 2.0. In: Gupta, A., Kroening, D. (eds.) Proceedings of the 8th International Workshop on Satisfiability Modulo Theories, Edinburgh, UK (2010)

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code;2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P);2023-07

2. Program analysis via efficient symbolic abstraction;Proceedings of the ACM on Programming Languages;2021-10-20

3. Study of Fine-grained Nested Parallelism in CDCL SAT Solvers;ACM Transactions on Parallel Computing;2021-09-30

4. Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers;Journal of Automated Reasoning;2021-07-23

5. Type and interval aware array constraint solving for symbolic execution;Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis;2021-07-11