Παπατσώρης Ιωάννης, Extension and evaluation of the global cardinality constraints functionality of the Gecode open source toolkit, 2022,