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

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