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

Adam Meissner, Magdalena Niwinska, Krzysztof Zwierzynski

Browse the full PPAM paper archive.