ISSN: 2310-757X
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elar.urfu.ru/handle/10995/51367| Название: | SAT solvers for the problem of sensor placement |
| Авторы: | Gorbenko, A. Popov, V. |
| Дата публикации: | 2012 |
| Издатель: | Trans Tech Publications, Ltd. |
| Библиографическое описание: | Gorbenko A. SAT solvers for the problem of sensor placement / Anna Gorbenko, Vladimir Popov // Advanced Studies in Theoretical Physics. — 2012. — Vol. 6. — № 25-28. — P. 1235-1238. |
| Аннотация: | In this paper we consider an approach to solve the problem of sensor placement. This approach is based on constructing SAT solvers for logical models of the problem. |
| Ключевые слова: | 3SAT LOGICAL MODELS SAT SOLVERS SENSOR PLACEMENT |
| URI: | http://elar.urfu.ru/handle/10995/51367 |
| Идентификатор SCOPUS: | 84871635774 |
| Идентификатор PURE: | 1067283 |
| ISSN: | 1313-1311 |
| Располагается в коллекциях: | Научные публикации ученых УрФУ, проиндексированные в SCOPUS и WoS CC |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| 2-s2.0-84871635774.pdf | 63,86 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.