Manders, Adleman, 1978. NP-Complete decision problems for binary quadratics 16.. https://doi.org/10.1016/0022-0000(78)90044-2