Evaluating Binary Polynomials using Subpolynomials. - Jacob M. Howe; Martin Brain; Arnau Gàmez-Montolio (SMT/POS@CP/SAT/SoCS, 2025)