Разработка и реализация решателя квантифицированных булевых формул на графическом процессоре

Андреев, Игорь Николаевич

Date: 2013-08-19

Работа выполнена в Институте систем информатики СО РАН

Files in this item

Name: Text_AndreevIN.pdf

Size: 808.2Kb

Format: PDF

Description: Текст выпускной ...

Name: Presentation_Andr ...

Size: 402.0Kb

Format: PDF

Description: Презентация выпускной ...