Публікація:
Solving of sat – problems of artificial intelligence with the help of local elimination algorithms

dc.contributor.authorMiroshnik, M. A.
dc.contributor.authorTsekhmistro, R. I.
dc.contributor.authorDemichev, А. I
dc.date.accessioned2018-05-19T20:38:50Z
dc.date.available2018-05-19T20:38:50Z
dc.date.issued2016
dc.descriptionIntelligent systems of processing and representing the knowledge are presently developed towards the integration of symbol and image representations of scientific knowledge. In combination with well-developed hardware and software multimedia tools this trend in engineering of science has a great practical importance especially at the stage of conversion of paper documents into their electronic equivalents. In this situation there occur some problems related to the form of representation of knowledge, configuration of user interfaces, recognition of the input information and providing for high speed of its search and processing.uk_UA
dc.description.abstractUsing elimination algorithms are promising for solving of the problem of propositional calculus testing. These problems are widely used in the practical checking of digital electron circuits of modern telecommunications. Based on the fuzzy logic, acyclic graph these algorithms provides a way for typical presentations of SAT-problems.uk_UA
dc.identifier.citationR.I. Tsekhmistro Solving of sat – problems of artificial intelligence with the help of local elimination algorithms / М. А. Мiroshnik, R. I. Tsekhmistro, А. I. Demichev // Telecommunications and Radio Engineering -2016- 75 (7)-р. 621-630uk_UA
dc.identifier.urihttp://openarchive.nure.ua/handle/document/5314
dc.language.isoen_USuk_UA
dc.publisherИнститут радиофизики и электроники им. А. Я. Усикова - научно-исследовательский институт Национальной академии наук Украины,uk_UA
dc.subjectresolveruk_UA
dc.subjectresolutionuk_UA
dc.subjectgraph of interrelationshipsuk_UA
dc.subjectdirected acyclic graphuk_UA
dc.subjectlocal algorithmuk_UA
dc.titleSolving of sat – problems of artificial intelligence with the help of local elimination algorithmsuk_UA
dc.typeArticleuk_UA
dspace.entity.typePublication

Файли

Оригінальний пакет
Зараз показано 1 - 1 з 1
Завантаження...
Зображення мініатюри
Назва:
621-630-miroshnik.pdf
Розмір:
3.66 MB
Формат:
Adobe Portable Document Format
Ліцензійний пакет
Зараз показано 1 - 1 з 1
Немає доступних мініатюр
Назва:
license.txt
Розмір:
9.42 KB
Формат:
Item-specific license agreed upon to submission
Опис: