Role of involutive criteria in computing Boolean Gröbner bases

Vladimir P. Gerdt, Mikhail V. Zinin. Role of involutive criteria in computing Boolean Gröbner bases. Programming and Computer Software, 35(2):90-97, 2009. [doi]

Authors

Vladimir P. Gerdt

This author has not been identified. Look up 'Vladimir P. Gerdt' in Google

Mikhail V. Zinin

This author has not been identified. Look up 'Mikhail V. Zinin' in Google