Quadratic-equation satisfiability over F2
= Quadratic-equation satisfiability over F2
{title2=$\mathrm{MQ}_{\mathbb F_2}$}
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.