Solving of sat – problems of artificial intelligence with the help of local elimination algorithms

Miroshnik, M. A.; Tsekhmistro, R. I.; Demichev, А. I

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

dc.contributor.author	Miroshnik, M. A.
dc.contributor.author	Tsekhmistro, R. I.
dc.contributor.author	Demichev, А. I
dc.date.accessioned	2018-05-19T20:38:50Z
dc.date.available	2018-05-19T20:38:50Z
dc.date.issued	2016
dc.description	Intelligent 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.abstract	Using 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.citation	R.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-630	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/5314
dc.language.iso	en_US	uk_UA
dc.publisher	Институт радиофизики и электроники им. А. Я. Усикова - научно-исследовательский институт Национальной академии наук Украины,	uk_UA
dc.subject	resolver	uk_UA
dc.subject	resolution	uk_UA
dc.subject	graph of interrelationships	uk_UA
dc.subject	directed acyclic graph	uk_UA
dc.subject	local algorithm	uk_UA
dc.title	Solving of sat – problems of artificial intelligence with the help of local elimination algorithms	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication