TY  - RPRT
TI  - Committing to the bit: Relational programming with semiring arrays and SAT solving
AU  - Dmitri Volkov
AU  - Yafei Yang
AU  - Chung-chieh Shan
PY  - 2025
UR  - https://arxiv.org/abs/2509.22614
ID  - 2509.22614
ER  -