Картотека книг » Поиск по коду » Книги с ISBN13 9783659131974
На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.
Книга ISBN13 9783659131974 - Multilevel Techniques for solving the Satisfiability Problem (Sirar Salih and Noureddine Bouhmala) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением
Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.
Где купить эту книгу?
Интернет-магазиныНазвание: Multilevel Techniques for solving the Satisfiability Problem
There are many complex problems in computer science that occur in knowledge-representation, artificial learning, Very Large Scale Integration (VLSI) design, security protocols and other areas. These complex problems may be deduced into satisfiability problems where the Boolean Satisfiability Problem (SAT) may be applied. This deduction is made in order to simplify complex problems into a specific propositional logic problem. The SAT problem is the most well-known nondeterministic polynomial time (NP) complete problem in computer science. In this book, we solve the SAT problem using a clustering technique - Multilevel - combined first with the Tabu Search algorithm and combined thereafter with finite Learning Automata. Tabu Search and finite Learning Automata are two very efficient approaches that have been used to solve SAT.
Авторы: Sirar Salih and Noureddine Bouhmala
Издательство:
Год: 2012
Местонахождение: OZON.ru
ISBN: 9783659131974
Поиск по сайту
Новости
10 января 2015 года: Запуск базы ISBN10 и ISBN13Запущена база данных ISBN и технический каталог кодов.
2015 - books.kartoteka.net
e-mail: books@kartoteka.net
e-mail: books@kartoteka.net