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

This site was designed with the
.com
website builder. Create your website today.
Start Now