@misc{indiciae2b70fcfb6403,
  title = {GPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond Caching},
  author = {Gabriel Bathie and Baptiste Mouillon and Nathanaël Fijalkow},
  year = {2026},
  url = {https://arxiv.org/abs/2605.08243},
  note = {Source identifier: 2605.08243}
}