ISSN: 2310-757X
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elar.urfu.ru/handle/10995/26856| Название: | GSAT with adaptive score function |
| Авторы: | Popov, V. |
| Дата публикации: | 2013 |
| Библиографическое описание: | Popov V. GSAT with adaptive score function / V. Popov // Advanced Studies in Theoretical Physics. — 2013. — Vol. 7. — № 5-8. — P. 363-366. |
| Аннотация: | GSAT is a well-known satisfiability search algorithm. In this paper we consider a modification of GSAT. In particular, we consider an adaptive score function. © 2013 Lhachmi El Badri et al. |
| Ключевые слова: | ADAPTIVE SCORE FUNCTION GSAT SATISFIABILITY |
| URI: | http://elar.urfu.ru/handle/10995/26856 |
| Идентификатор SCOPUS: | 84875705459 |
| Идентификатор PURE: | 921632 |
| ISSN: | 1313311 |
| Располагается в коллекциях: | Научные публикации, проиндексированные в SCOPUS и WoS CC |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| scopus-2013-0093.pdf | 67,11 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.