Quantum 3-SAT Is QMA1-Complete | IEEE Conference Publication | IEEE Xplore