SAT and IP Based Algorithms for Magic Labeling with Applications.

Gerold Jger

Browse the full IWOCA paper archive.