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

Gerold Jäger, Florian Arnold. SAT and IP based algorithms for magic labeling including a complete search for total magic labelings. J. Discrete Algorithms, 31:87-103, 2015. [doi]

Abstract

Abstract is missing.