Daniele Frigioni, Alberto Marchetti-Spaccamela, Umberto Nanni. Dynamization of Backtrack-Free Search for the Constraint Satisfaction Problem. In Maurizio A. Bonuccelli, Pierluigi Crescenzi, Rossella Petreschi, editors, Algorithms and Complexity, Second Italian Conference, CIAC 94, Rome, Italy, February 23-25, 1994, Proceedings. Volume 778 of Lecture Notes in Computer Science, pages 136-151, Springer, 1994.
Abstract is missing.