Favier A., de Givry S., Jegou Ph.
Solution Counting for CSP with Large Tree - Width
Автор: Favier A., de Givry S., Jegou Ph. Вид автора: персона
Мова: Англійська Обсяг: p. 4-13
УДК: 519.157
Є складовою частиною документа: Управляющие системы и машины
| Назва документа, в якому знаходиться дана частина: | Управляющие системы и машины |
| Дата видання документа, в якому знаходиться дана частина: | 2011 |
| Номер головного документа: | №2 |
Теми документа
|