Horiyama, T.; Kobayashi, Y.; Ono, H.; Seto, K.; Suzuki, R. Theoretical Aspects of Generating Instances With Unique Solutions: Pre-Assignment Models for Unique Vertex Cover. AAAI 2024, 38, 20726-20734.