1 Où en sommes-nous ? Algorithmes De recherche Backtrack rétrospectifs mixtes Prospectifs FC MAC Quick RFL … Backjumping Backmarking Nogood Recording Conflict.