Succinct certificates for the solvability of binary quadratic Diophantine equations | IEEE Conference Publication | IEEE Xplore