Polynomial Formal Verification of Sequential Circuits. - Caroline Dominik; Rolf Drechsler (DATE, 2024)