Login / Signup
SAT and IP based algorithms for magic labeling including a complete search for total magic labelings.
Gerold Jäger
Florian Arnold
Published in:
J. Discrete Algorithms (2015)
Keyphrases
</>
complete search
orders of magnitude
data structure
computational cost
computationally efficient
theoretical analysis
search algorithm
significant improvement
stochastic local search algorithms
learning algorithm
worst case
benchmark datasets
sat solvers