\section{Chapitre 6: Stratégies de recherche}
\label{sec:ch6}

Robustesse d'un solveur: capacité à résoudre une large variété de problèmes

\subsection{Heuristiques de choix de variables}
\label{sec:heuristiquevariables}

Instancier les variables qui ont le plus d'impact en premier

Types d'heuristiques

\begin{itemize}
\item Ordre statique: on fixe l'ordre d'instantiation manuellement
\item Plus petit domaine: plus grande probabilité d'avoir la bonne valeur
\item Variable la plus contrainte: plus grand degré, a le plus d'impact sur la solution
\item Choix structurels: obtenir un problème plus simple à résoudre
\item Combinaisons des heuristiques précédents
\end{itemize}

Techniques additionnelles

\begin{itemize}
\item Stochastique: Utilise un générateur de nombres pseudo-aléatoires pour sélectionner les branchements sur les variables
\item Apprentissage: Ces heuristiques s'adaptent au problème avec une forme d'apprentissage qui met du poids sur les variables. Plongées dans l'arbre de recherche
\end{itemize}

\subsection{Heuristiques de choix de valeurs}
\label{sec:choixvaleurs}






%%% Local Variables:
%%% mode: latex
%%% TeX-master: "notes_de_cours"
%%% End: