A Forward-Checking algorithm based on a Generalised Hypertree Decomposition for solving non-binary constraint satisfaction problems

Zineb Habbas, Kamal Amroun, Daniel Singer. A Forward-Checking algorithm based on a Generalised Hypertree Decomposition for solving non-binary constraint satisfaction problems. J. Exp. Theor. Artif. Intell., 27(5):649-671, 2015. [doi]

Abstract

Abstract is missing.