Академия наук Республики Татарстан

Вычислительные возможности классических и квантовых моделей вычислений с ограничениями. Этап 2009 г.: Развитие методов эффективного вычисления булевых функций в квантовых ветвящихся программах с ограничениями.