Предикаты k-значной логики и Задача Удовлетворения Ограничениямдоклад на конференции