Distributed intelligent backtracking (1998)

by Y Hamadi, C Bessière, J Quinqueton
Venue:In Proceedings of ECAI