Quantum k-SAT Related Hypergraph Problems. - Simon-Luca Kremer; Dorian Rudolph; Sevag Gharibian (CoRR, 2025)