везде Расширенный поиск
книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Теория вероятностей

Brian Oconnor

Satisfiability Checking with Difference Constraints. A Quantitative Approach

Код 921982

Бумажная книга

Нет в продаже

Сообщить о появлении

Аннотация к книге "Satisfiability Checking with Difference Constraints. A Quantitative Approach"

This thesis studies the problem of determining the satisfiability of a Boolean combination of binary difference constraints of the form x-y where x and y are numeric variables and constant. In particular,we present y can incremental and model-based inter preter for the theory of difference constraints in the context of a generic Boolean satisfiability checking procedure capable of incorporating interpreters for arbitrary theories. We show how to use the model based approach to efficiently make inferences with the option of complete inference.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-3-6391-4738-4
Объём: 80 страниц
Масса: 141 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

Япония
Япония бумажная книга
Норберт Хормут
Нет в продаже
Все самые любимые стихи и сказки
Все самые любимые стихи и сказки бумажная книга
Сергей Владимирович...
Нет в продаже
Не такая, как все
Не такая, как все бумажная книга
Марк Леви
8.57 USD
В корзину
Дядюшка Скрудж и Дональд Дак. Побег из Заповедной Долины
Дядюшка Скрудж и Дональд Дак. Побег из... бумажная книга
Дон Роса
Нет в продаже
-3%
От предвидения к власти. Как ИИ-прогнозирование трансформирует экономику и как использовать его силу в своих целях
От предвидения к власти. Как ИИ-прогнозирование... бумажная книга
15.09 USD 14.64 USD
В корзину
Дикий барин в домашних условиях
Дикий барин в домашних условиях бумажная книга
Джон Александрович...
6.94 USD
В корзину

Просмотренные товары