MathLib LibMeta Graph RAG Lab Blog About Team

LibMeta / Balyo T.

IMT journal Cited authorPerson

Balyo T.

http://libmeta.ru/resource/imt/cited_author/Balyo_T

Входящие связи

← author · 1

HordeQBF: A Modular and Massively Parallel QBF Solver

Локальный контекст

Клик по узлу — переход к соседнему объекту.

Scientific platform of the Russian research school.

Sections

MathLib Explorer
LibMeta
Graph RAG
Lab
Blog
About
Team

Affiliation

Dorodnicyn Computing Centre, FRC «Computer Science and Control» RAS frccsc.ru

© 2026 SciLib Lab · ФИЦ ИУ РАН. All rights reserved. Contacts: info@scilibai.ru