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.
@inproceedings{MouhoubSS03,
title = {Chronological Backtracking Versus Formal Methods for Solving CSPs},
author = {Malek Mouhoub and Samira Sadaoui and Amrudee Sukpan},
year = {2003},
researchr = {https://researchr.org/publication/MouhoubSS03},
cites = {0},
citedby = {0},
pages = {270-275},
booktitle = {Proceedings of the International Conference on Artificial Intelligence, IC-AI 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1},
editor = {Hamid R. Arabnia and Rose Joshua and Youngsong Mun},
publisher = {CSREA Press},
isbn = {1-932415-12-2},
}