Converting of Boolean Expression to Linear Equations, Inequalities and QUBO Penalties for Cryptanalysis. - Aleksey I. Pakhomchik; Vladimir V. Voloshinov; Valerii M. Vinokur; Gordey B. Lesovik (Algorithms, 2022)