Finding a second Hamiltonian decomposition of a 4-regular multigraph by integer linear programming. - Andrei V. Nikolaev; Egor V. Klimov (J. Comb. Optim., 2024)