Simple Hard Instances for Low-Depth Algebraic Proofs | IEEE Conference Publication | IEEE Xplore