Automated Polynomial Formal Verification Using Generalized BDD Patterns

@article{pub15354,
    author = {

Schnieber, Martha
 and 

Drechsler, Rolf
},
    title = {Automated Polynomial Formal Verification Using Generalized BDD Patterns},
    year = {2024},
    journal = {Philosophical Transactions of the Royal Society A},
    publisher = {The Royal Society Publishing}
}