2022
DOI: 10.1007/978-3-030-94583-1_24
|View full text |Cite
|
Sign up to set email alerts
|

Bit-Precise Reasoning via Int-Blasting

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2022
2022
2023
2023

Publication Types

Select...
5

Relationship

1
4

Authors

Journals

citations
Cited by 6 publications
(1 citation statement)
references
References 31 publications
0
1
0
Order By: Relevance
“…The general approach also applies to integer problems, quantified formulas, and instances with multiple theories, and can additionally be used in combination with transcendental functions [9] and bitwise conjunction for integers [47]. Further evaluations of these combinations are left to future work.…”
Section: Discussionmentioning
confidence: 99%
“…The general approach also applies to integer problems, quantified formulas, and instances with multiple theories, and can additionally be used in combination with transcendental functions [9] and bitwise conjunction for integers [47]. Further evaluations of these combinations are left to future work.…”
Section: Discussionmentioning
confidence: 99%