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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.