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

Authors: Пашкова, Наталья Николаевна, Андреева, Валентина Валерьевна

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

Subject Terms: сверхбольшие интегральные схемы, конъюнктивные нормальные формы, проблемы выполнимости булевых функций, методы упрощения конъюнктивных нормальных форм

File Description: application/pdf

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

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

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

Authors: Пашкова, Наталья Николаевна, Андреева, Валентина Валерьевна

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

Subject Terms: сверхбольшие интегральные схемы, конъюнктивные нормальные формы, проблемы выполнимости булевых функций, методы упрощения конъюнктивных нормальных форм

File Description: application/pdf

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

Availability: https://openrepository.ru/article?id=273340