TY - RPRT TI - A polynomial-time algorithm for deciding the Hilbert Nullstellensatz over $\mathbb{Z}_2$. A proof of $\mathbf{P}=\mathbf{NP}$ hypothesis AU - Petar P. Petrov PY - 2024 UR - https://arxiv.org/abs/2208.07327 ID - 2208.07327 ER -