Recherche:

Bonjour,

J'ai mis en place une nouvelle approche qui consiste à transformer le problème 2In3SAT en un NAE3SAT ( not all equal ) qui est dans P dans le cas planaire.


Pour le NAE :
...

Bonjour,

Si le sujet vous intéresse l'un des meilleurs solvers aujourd’hui est CDCL

https://en.wikipedia.org/wiki/Conflict-driven_clause_learning

Je vois mieux mais et sauf erreur de ma part votre approche est exponentielle.
L'enjeu est de trouver un algo polynomial.

Bonjour,

Je ne vois pas comment on peut utiliser votre arbre pour trouver une solution de 3SAT.

J'ai fait une mise à jour de la doc :
...

Bonjour et je suis désolé pour le retard.

Comme on vous a dit SAT n'est pas le problème le plus facile pour commencer à programmer mais rien n’empêche d’essayer...::

Pour les langages...

désolé , il faut lire conjecture au lieu de conjoncture.

Bonjour;

J'ai fait quelques modifications sur l'algo et le code suite au tests .

Vous trouverez sur le site le nouveau solver qui s'appuie pour le moment sur une conjoncture , avis aux...

Bonsoir,
Pas de volontaires , pas de questions .Ok .Je vous donne quand-même la suite:
1) Publier l'algo et le code ailleurs.
2) Le prolonger par deux extensions:
a) coder la conversion 3SAT==>...

Bonjour à tous et bonne année.

Je vous présente un petit algo : un sat solver.

La description :

http://wild-elkhadra.e-monsite.com/pages/page.html

Le code: