“…Due to its scientific nature and wide applicability, SMT problems have attracted the attention of many scientists in the world for decades [27,35,44]. Some of them are Martin Zachariasen [21], Tobias Polzin [37], Pieter Oloff De Wet [26], Xinhui Wang [40], Jon William Van Laarhoven [17], and Zhiliu Zhang [45].…”