Поиск по всему репозиторию:
Просмотр 2012 по автору "Бутов, А. А."
Отображаемые элементы 1-1 из 1
-
Метод нахождения булевой формулы многоугольника в дизъюнктивной нормальной форме без использования дополнительных предикатных переменных
Бутов, А. А. (БрГТУ, 2012)Предложен приемлемый на практике метод решения задачи построения булевой формулы многоугольника в дизъюнктивной нормальной форме. Метод основан на последовательном формировании выпуклых компонентов, которые представляют в искомой формуле отдельные элементарные конъюнкции и покрывают в совокупности все ...2019-08-29