Horiyama, T. et al. 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 (Mar. 2024), 20726–20734. DOI:https://doi.org/10.1609/aaai.v38i18.30060.