 Quadratic-equation satisfiability over F2

Quadratic-equation satisfiability over ${\mathbb{F}}_2$ asks whether a finite system of polynomial equations of degree at most two over the finite field ${\mathbb{F}}_2$ has a common solution.