Вы здесь

Главная

Theory and Applications of Satisfiability Testing - SAT 2009: Proc./12th International Conference, SAT 2009, Swansea, UK, June/July 2009

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2009
Ключевые слова: 
satisfiability
алгоритм
вычислительная сложность
constraint programming
распределенная система
эвристический
оптимизация
гипотеза
proof complexity
программирование в ограничениях
логика высказываний
выполнимость
тестирование
Стр.: 
540 p.
Редактор: 
Kullmann O.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
5584
Карточка: 

Б2.1, В2.1.

Theory and Applications of Satisfiability Testing - SAT 2009: Proc./12th International Conference, SAT 2009, Swansea, UK, June/July 2009Ed. by Kullmann O..-Berlin.: Springer, 2009.-Vol. 5584.-540 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO7 913