В данній роботі розглядаються методи оптимізації деяких алгоритмів розв`язання систем лінейних діофантових рівнянь за допомогою булевих перетворень. Наведені оптимізації використовуються при реалізації алгоритмів на ...