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