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

Philippe Jégou, Samba Ndiaye, Cyril Terrioux. A New Evaluation of Forward Checking and Its Consequences on Efficiency of Tools for Decomposition of CSPs. In 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1. pages 486-490, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.