Introduction

Le sudoku est un jeu en forme de grille défini en 1979 et inspiré du carré latin ainsi que du problème des 36 officiers du mathématicien suisse Leonhard Euler. Le but du jeu est de remplir cette grille avec des chiffres allant de 1 à 9 en respectant certaines contraintes. Ce jeu va nous permettre d'illustrer la réduction d'un problème à SAT.