TY  - RPRT
TI  - Shared-Context Batched Satisfiability
AU  - Jiening Siow
AU  - Hanrui Zuo
AU  - Hanyun Jiang
AU  - Weiqi Wang
AU  - Peisen Yao
PY  - 2026
UR  - https://arxiv.org/abs/2606.21983
ID  - 2606.21983
ER  -