Re: Dépendances inverse

Retourner au contenu associé (journal : Résolution des dépendances par système de branches)

[^] # Re: Dépendances inverse

Posté par thoasm le 19 septembre 2009 à 01:59. En réponse au journal Résolution des dépendances par système de branches. Évalué à 2.

Question pour te tester, tu fais quelque chose de similaire à la "propagation unitaire" en SAT ?

http://en.wikipedia.org/wiki/Unit_propagation