TY  - RPRT
TI  - Boolean Matrix Logic Programming on the GPU
AU  - Lun Ai
PY  - 2025
UR  - https://arxiv.org/abs/2408.10369
ID  - 2408.10369
ER  -