Le principe de satisfiabilité booléenne (parfois appelé problème de satisfiabilité propositionnelle et abrégé SATISFIABILITÉ ou problème SAT) est le problème consistant à déterminer s’il existe une interprétation qui satisfait une formule booléenne donnée.