Hardness of Instance Generation with Optimal Solutions for the Stable Marriage Problem. - Yuki Matsuyama; Shuichi Miyazaki (J. Inf. Process., 2021)