الگوریتم سازگاری کمان

one of a series of algorithms used for the solution of constraint satisfaction problems