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