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}
}