Hybrid backtracking bounded by tree-decomposition of constraint networks (2003)

by C Terrioux, P Jégou
Venue:Artificial Intelligence