Санкт-Петербургский государственный политехнический университет,
год не указан, 26 стр.
Представление булевых функций в виде бинарных решающих диаграмм
Реализация BDD в библиотеке BuDDy
Программирование в ограничениях
Задача Эйнштейна
Задание на курсовую работу
Варианты задания количества ограничений для курсовой работы
Реализация BDD в библиотеке BuDDy
Программирование в ограничениях
Задача Эйнштейна
Задание на курсовую работу
Варианты задания количества ограничений для курсовой работы