Malek Mouhoub, Samira Sadaoui, Amrudee Sukpan. Chronological Backtracking Versus Formal Methods for Solving CSPs. In Hamid R. Arabnia, Rose Joshua, Youngsong Mun, editors, Proceedings of the International Conference on Artificial Intelligence, IC-AI 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1. pages 270-275, CSREA Press, 2003.
Abstract is missing.