Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2013Gröbner-free normal forms for Boolean polynomials
Brickenstein, M.; Dreyer, A.
Journal Article
2011Verifikation digitaler Systeme mit PolyBoRi
Brickenstein, M.; Dreyer, A.
Journal Article
2010Network-driven boolean normal forms
Brickenstein, M.; Dreyer, A.
Conference Paper
2009New developments in the theory of Gröbner bases and applications to formal verification
Brickenstein, M.; Dreyer, A.; Greuel, G.-M.; Wedler, M.; Wienand, O.
Journal Article
2009POLYBORI: A framework for Gröbner-basis computations with Boolean polynomials
Brickenstein, M.; Dreyer, A.
Journal Article, Conference Paper
2008Gröbner-free normal forms for boolean polynomials
Brickenstein, M.; Dreyer, A.
Conference Paper
2007POLYBORI: A Gröbner basis framework for Boolean polynomials
Brickenstein, M.; Dreyer, A.
Report