Per-Instance Subproblem Generation for Strategy Selection in SMT

Published in To appear in 2025 Formal Methods in Computer Aided Design (FMCAD'25), 2025