Adam Meissner, Magdalena Niwinska, Krzysztof Zwierzynski. Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System. In Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski, editors, Parallel Processing and Applied Mathematics, 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected Papers. Volume 4967 of Lecture Notes in Computer Science, pages 1096-1103, Springer, 2007. [doi]
Abstract is missing.