TY  - RPRT
TI  - Satisfiability problems and algebras of boolean constraint system games
AU  - Connor Paddock
AU  - William Slofstra
PY  - 2025
UR  - https://arxiv.org/abs/2310.07901
ID  - 2310.07901
ER  -