Hirahara, S. . (2022). NP-Hardness of Learning Programs and Partial MCSP. In 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS) (pp. 968–979).