Equivalence Checking Using Gröbner Bases

@inproceedings{pub8511,
    author = {

Ahmed, Amr Sayed
 and 

Große, Daniel
 and 

Soeken, Mathias
 and 

Drechsler, Rolf
},
    title = {Equivalence Checking Using Gröbner Bases},
    booktitle = {Formal Methods in Computer-Aided Design. Formal Methods in Computer-Aided Design (FMCAD-2016), October 3-6, Mountain View, United States},
    year = {2016}
}