SAT and IP based algorithms for magic labeling including a complete search for total magic labelings

From MaRDI portal
(Redirected from Publication:2018542)