Automate pour SAT.

December 26, 2016

                                                                                                                                                                                                                                                                                                                                                                           

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

 

 

 

Share on Facebook
Share on Twitter
Please reload