Preview

Машиностроение и компьютерные технологии

Расширенный поиск
Полноэкранный режим

Для цитирования:


Ключарев П.Г. Исследование практической возможности решения одной задачи на обобщенных клеточных автоматах с использованием SAT-решателей. Машиностроение и компьютерные технологии. 2018;(11):11-22. https://doi.org/10.24108/1118.0001439

For citation:


Klyucharev P.G. Exploring Practicability for Solving a Task Based on the Generalized Cellular Automata via SAT Solvers. Mechanical Engineering and Computer Science. 2018;(11):11-22. (In Russ.) https://doi.org/10.24108/1118.0001439

Просмотров: 51


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2587-9278 (Online)