Buss S.,Hay L. ...

Новости

17 Октября, 2025 Конкурс на замещение должности

10 Октября, 2025 Защита диссертаций

26 Сентября, 2025 Защита диссертаций

Buss S., Hay L.

[1991]

On truth-table reducibility to SAT

Inform. Comput., 91, № 1, 86-102

91.Г5.396

article

Вернуться к поиску