TY - RPRT TI - A formula for systems of Boolean polynomial equations and applications to computational complexity AU - Tomoya Machide PY - 2021 UR - https://arxiv.org/abs/1907.09686 ID - 1907.09686 ER -