Method for the Solution of Systems of Bit Equations Based on Branch-and-Bound Principle - Yu. Semenov; Ye. V. Semenova (Mathematical and computer modelling. Series: Physical and mathematical sciences, 2019)