Automated polynomial formal verification using generalized binary decision diagram patterns

@article{pub15603,
    author = {

Schnieber, Martha
 and 

Drechsler, Rolf
},
    title = {Automated polynomial formal verification using generalized binary decision diagram patterns},
    year = {2025},
    journal = {Philosophical Transactions of the Royal Society A},
    publisher = {The Royal Society Publishing}
}