Цитирование публикации
English
В.Р. Свистунова
Сравнение кодировок и оптимизация параметров SAT-решателя в задаче о раскраске графа
Материал конференции: "XIV международный научный семинар "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (20-25 июня 2022 г., Москва)". Страниц: 3 (с.198-200). Язык: русский
Ссылки на публикацию DOI: 10.20948/dms-2022-61 в Crossref не найдены