Dynamization of Backtrack-Free Search for the Constraint Satisfaction Problem.

Daniele Frigioni, Alberto Marchetti-Spaccamela, Umberto Nanni

Browse the full CIAC paper archive.