1. Severín, Daniel Esteban (2020): Appendix and source code of ACP solver for the paper On the additive chromatic number of several families of graphs
Universidad Nacional de Rosario
http://hdl.handle.net/2133/18976