An Algorithm for Constraint Satisfaction Problemдоклад на конференции