libcats.org
Главная

Satisfiability problem: theory and applications

Обложка книги Satisfiability problem: theory and applications

Satisfiability problem: theory and applications

, , , ,
The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. There has been a strong relationship between the theory, the algorithms, and the applications of the SAT problem. This book aims to bring together work by the best theorists, algorithmists, and practitioners working on the SAT problem and on industrial applications, as well as to enhance the interaction between the three research groups. The book features the application of theoretical/algorithmic results to practical problems and presents practical problems for theoretical/algorithmic study.

Major topics covered in the book include practical and industrial SAT problems and benchmarks, significant case studies and applications of the SAT problem and SAT algorithms, new algorithms and improved techniques for satisfiability testing, specific data structures and implementation details of the SAT algorithms, and the theoretical study of the SAT problem and SAT algorithms.

Features:

A comprehensive review of SAT research work over the past 25 years.

The most recent research results.

A spectrum of algorithmic issues and applications.

Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Сердце дракона

Автор:
Категория: Фэнтези
Размер книги: 714 Kb

Peleliu 1944: The Forgotten Corner Of Hell

Автор: , Автор:
Категория: Исторические
Размер книги: 18.66 Mb

Heidegger's Crisis: Philosophy and Politics in Nazi Germany

Автор:
Размер книги: 15.16 Mb

Mi Padre Y Yo

Автор:
Категория: fiction
Размер книги: 8 Kb

Souvenirs entomologiques - Livre I

Автор:
Категория: fiction
Размер книги: 746 Kb

The Big Ice

Автор: , Автор:
Категория: fiction
Размер книги: 67 Kb

De Dominee en zijn Gemeente

Автор:
Категория: fiction
Размер книги: 175 Kb

Little house on the prairie

Автор: , Автор:
Категория: fiction
Размер книги: 281 Kb