Доказано существование переборного алгоритма распознавания алгебраических булевых пороговых функций путём нахождения верхних оценок абсолютных значений модуля и коэффициентов линейной формы. Оценка для модуля имеет вид (n + 3)(n+5)/2/2n+2, а сложность алгоритма — O((n/2)n).