Vertex-Magic Total Labeling of a Graph by Distributed Constraint Solving in the Mozart System. - Adam Meissner; Krzysztof Zwierzynski (PPAM, 2005)

Extremal Size In Graphs With Bounded Degree. - Krystyna T. Balinska; Louis V. Quintas; Krzysztof Zwierzynski (Ars Comb., 2006)

Computing an irregularity strength of selected graphs. - Adam Meissner; Magdalena Niwinska; Krzysztof Zwierzynski (Electron. Notes Discret. Math., 2006)

Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System. - Adam Meissner; Magdalena Niwinska; Krzysztof Zwierzynski (PPAM, 2007)

The Maximum Number Of One-Edge Extensions For Graphs With Bounded Degree. - Krystyna T. Balinska; Louis V. Quintas; Krzysztof Zwierzynski (Ars Comb., 2014)