T. Horiyama, Y. Kobayashi, H. Ono, K. Seto, and R. Suzuki, “Theoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover”, AAAI, vol. 38, no. 18, pp. 20726–20734, Mar. 2024.