Оптимизация решения алгоритма CDCL, представленного в виде троичного вектора

by Иванкин, Дмитрий Ильич
Published in Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.