Horiyama, Takashi, Yasuaki Kobayashi, Hirotaka Ono, Kazuhisa Seto, and Ryu Suzuki. 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):20726-34. https://doi.org/10.1609/aaai.v38i18.30060.