В докладе будет показан алгоритм для выполнимости булевых формул на основе полного двоичного базиса. Для формул размера не более cn, алгоритм работает за время 2^(1-с_0)n для некоторой константы c_0.