GPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond Caching

SIMBA is a GPU-accelerated MBA synthesizer using cache-free bottom-up enumeration to scale beyond prior CPU and cache-based GPU tools. It achieves substantial speedups, handles larger specifications, and solves expression sizes existing methods cannot.

Gabriel Bathie, Nathanaël Fijalkow

Paris Poster Session 3, Thu, Dec 10, 12:30 PM–2:30 PM, Paris Poster Hall · Published 2026