Horiyama, T. (2024) “Theoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover”, Proceedings of the AAAI Conference on Artificial Intelligence, 38(18), pp. 20726–20734. doi: 10.1609/aaai.v38i18.30060.