Исследование и разработка алгоритмов упрощения КНФ при решении проблемы выполнимости

Συγγραφείς: Пашкова, Наталья Николаевна, Андреева, Валентина Валерьевна

Πηγή: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г. Томск, 2018. С. 17-21

Θεματικοί όροι: сверхбольшие интегральные схемы, конъюнктивные нормальные формы, проблемы выполнимости булевых функций, методы упрощения конъюнктивных нормальных форм

Περιγραφή αρχείου: application/pdf

Relation: vtls:000647951; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000647951

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000647951

Исследование и разработка алгоритмов упрощения КНФ при решении проблемы выполнимости

Συγγραφείς: Пашкова, Наталья Николаевна, Андреева, Валентина Валерьевна

Πηγή: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г. Томск, 2018. С. 17-21

Θεματικοί όροι: сверхбольшие интегральные схемы, конъюнктивные нормальные формы, проблемы выполнимости булевых функций, методы упрощения конъюнктивных нормальных форм

Περιγραφή αρχείου: application/pdf

Relation: vtls:000647951; https://openrepository.ru/article?id=273340

Διαθεσιμότητα: https://openrepository.ru/article?id=273340