One is not Enough: Using Hybrid Proof Engines for Polynomial Formal Verification

@inproceedings{pub12634,
    author = {

Drechsler, Rolf
 and 

Mahzoon, Alireza
},
    title = {One is not Enough: Using Hybrid Proof Engines for Polynomial Formal Verification},
    booktitle = {Proceedings of the 24th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI). Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI-2022), October 24-25, Hirosaki, Japan},
    year = {2022}
}