TY - RPRT TI - Fast Gröbner Basis Computation for Boolean Polynomials AU - Franziska Hinkelmann AU - Elizabeth Arnold PY - 2010 UR - https://arxiv.org/abs/1010.2669 ID - 1010.2669 ER -