Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System

@inproceedings{Meissner2007ComputingTI,
  title={Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System},
  author={Adam Meissner and Magdalena Niwinska and Krzysztof Zwierzynski},
  booktitle={PPAM},
  year={2007}
}
In this paper we show how the problem of computing the irregularity strength of a graph can be expressed in terms of CP(FD) programming methodology and solved by parallel computations in the Mozart system. We formulate this problem as an optimization task and apply the branch-and-bound method and iterative best-solution search in order to solve it. Both of these approaches have been evaluated in experiments. We also estimate the speedup obtained by parallel processing. 

Topics from this paper.

Similar Papers