Publikation

Equivalence Checking Using Gröbner Bases

Amr Sayed Ahmed, Daniel Große, Mathias Soeken, Rolf Drechsler

In: Formal Methods in Computer-Aided Design. Formal Methods in Computer-Aided Design (FMCAD-2016) October 3-6 Mountain View United States 2016.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence