TY  - RPRT
TI  - Speculative SAT Modulo SAT
AU  - Hari Govind V K
AU  - Isabel Garcia-Contreras
AU  - Sharon Shoham
AU  - Arie Gurfinkel
PY  - 2023
UR  - https://arxiv.org/abs/2306.17765
ID  - 2306.17765
ER  -