Le problème SAT est central en informatique théorique car il est NP-Complet.
Nous proposons une méthode de résolution basée sur les automates finis.
Nous donnons un algorithme de conversion d'une formule en automate.
Cette approche pourrait être développée.
(travail en cours....)
