Automate pour SAT.

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....)