О применении SAT-решателей для проверки принадлежности булевых функций, заданных полиномами, одному замкнутому классутезисы доклада