Horiyama, T., Kobayashi, Y., Ono, H., Seto, K., & Suzuki, R. (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–20734. https://doi.org/10.1609/aaai.v38i18.30060