La résolution des CSPs fait généralement appel à des recherches arborescentes exploitant des améliorations du backtracking , De telles méthodes obtiennent souvent des résultats satisfaisants en pratique. Cependant, leur ...