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

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Оптимизация решения алгоритма CDCL, представленного в виде троичного вектора	543 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/978-5-907572-27-0-2022-14

Title: Оптимизация решения алгоритма CDCL, представленного в виде троичного вектора
Creator: Иванкин, Дмитрий Ильич
|
Андреева, Валентина Валерьевна
Date: 2022
DOI: 10.17223/978-5-907572-27-0-2022-14

Relationships: Show Relationship Browser for this Object
collection(s): Институт прикладной математики и компьютерных наук (c 01.09.2017 г.)
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в сборниках
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 87-92
Language: rus