Unsatisfiable systems of equations, over a finite field | IEEE Conference Publication | IEEE Xplore