TY  - RPRT
TI  - GPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond Caching
AU  - Gabriel Bathie
AU  - Baptiste Mouillon
AU  - Nathanaël Fijalkow
PY  - 2026
UR  - https://arxiv.org/abs/2605.08243
ID  - 2605.08243
ER  -