@misc{indiciae5b267e3a5335,
  title = {Shared-Context Batched Satisfiability},
  author = {Jiening Siow and Hanrui Zuo and Hanyun Jiang and Weiqi Wang and Peisen Yao},
  year = {2026},
  url = {https://arxiv.org/abs/2606.21983},
  note = {Source identifier: 2606.21983}
}