Optimization of subexponential complexity algorithm for SAT problem solution Journal title: Інформаційно-керуючі системи на залізничному транспорті Authors: A. Boinik, V. Butenko, O. Golovko, M. Ushakov Subject(s):
