Quantum k-SAT Related Hypergraph Problems
(2025).