Quadratic-equation satisfiability over F2 (${\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.