Please be patient while the object screen loads.
Электронная библиотека (репозиторий)
Томского государственного университета
English
Русский
Home
Show
All
Show
Quick Collection
Browse ↓
Communities & Collections
By Title
By Creator
By Subject
By Date
Additional Resources
Search History
Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
-
Сделать пожертвование
-
Advanced Search
2014
|
дискретная математика
Add to Quick Collection
Description
Size
Format
Экспериментальное исследование решателя MiniSat
289 KB
Adobe Acrobat PDF
View Details
Download
Title
Экспериментальное исследование решателя MiniSat
Creator
Кидярова, Галина Владимировна
Contributor
Томский государственный университет Научное управление Лаборатории НУ
Subject
SAT-решатели
конъюнктивные нормальные формы
булевы формулы
дискретная математика
Date
2014
Relationships
Show Relationship Browser for this Object
collection(s)
Научное управление
Identifier
vtls:000504502
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000504502
Type
статьи в сборниках
Source
Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 51-52
Language
rus
1052 Visitors
830 Hits
233 Downloads
Preview
Научное управление
Экспериментальное исследование решателя MiniSat
^ DIV >