@misc{indiciae9b3e15921f64,
  title = {Committing to the bit: Relational programming with semiring arrays and SAT solving},
  author = {Dmitri Volkov and Yafei Yang and Chung-chieh Shan},
  year = {2025},
  url = {https://arxiv.org/abs/2509.22614},
  note = {Source identifier: 2509.22614}
}