libcats.org
Главная

Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Обложка книги Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

,

This book constitutes the refereed proceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008, held in Guangzhou, P. R. China, in May 2008.

The 17 revised full papers presented together with 8 revised short papers and 2 invited talks were carefully selected from 70 submissions. All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including but not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Каникулы

Автор:
Размер книги: 13 Kb

Момент истины. В августе 44-го

Автор:
Категория: ИСТОРИЯ
Размер книги: 1.52 Mb

Mein Kampf

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

Aspirin, Robert Lynn - Myth 06 - Little Myth Marker

Автор:
Размер книги: 230 Kb

Richard Hatch - Battlestar Galactica 4 - Rebellion

Автор:
Размер книги: 531 Kb

Изабель Вульф. Собачье счастье

Автор:
Размер книги: 673 Kb

The Survival of a Mathematician: From Tenure to Emeritus

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

Shadow Force

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

Verhalen Voor Kinderen Die Nadenken Deel 1

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

The Earl's Inconvenient Wife

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

De man die even wilde afrekenen

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