Brickenstein, Michael; Dreyer, Alexander Polybori: A framework for Gröbner-basis computations with Boolean polynomials. (English) Zbl 1186.68571 J. Symb. Comput. 44, No. 9, 1326-1345 (2009). MSC: 68W30 13P10 PDFBibTeX XMLCite \textit{M. Brickenstein} and \textit{A. Dreyer}, J. Symb. Comput. 44, No. 9, 1326--1345 (2009; Zbl 1186.68571) Full Text: DOI
Brickenstein, Michael; Dreyer, Alexander; Greuel, Gert-Martin; Wedler, Markus; Wienand, Oliver New developments in the theory of Gröbner bases and applications to formal verification. (English) Zbl 1164.68019 J. Pure Appl. Algebra 213, No. 8, 1612-1635 (2009). MSC: 68Q60 06E30 13F20 13P10 68W30 94C10 PDFBibTeX XMLCite \textit{M. Brickenstein} et al., J. Pure Appl. Algebra 213, No. 8, 1612--1635 (2009; Zbl 1164.68019) Full Text: DOI arXiv