For citations:
Semenov V.A., Sidyaka O.V. Theoretical and practical complexity estimates for local propagation methods in constraint-based programming applications. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2010;19. (In Russ.)