Parallel SMT Solving via Iterative Tree Partitioning. - Tomás Kolárik; Antti E. J. Hyvärinen; Seyedmasoud Asadzadeh; Natasha Sharygina (TACAS (1), 2026)