A New Evaluation of Forward Checking and Its Consequences on Efficiency of Tools for Decomposition of CSPs.

Philippe Jgou, Samba Ndiaye, Cyril Terrioux

Browse the full ICTAI paper archive.