X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=TODO;fp=TODO;h=b6f51d3ee5eec1ae9ab4a9c8476b5e840a6a0ff3;hp=0000000000000000000000000000000000000000;hb=c5fc33c2eda7c2bb45c3bafbe74827f17e215fb8;hpb=406c70f1fe88c94c66489604eb8337d1e54043b9

diff --git a/TODO b/TODO
new file mode 100644
index 0000000..b6f51d3
--- /dev/null
+++ b/TODO
@@ -0,0 +1,12 @@
+Pour éviter les phases et le Ranking :
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+partir de l'état initial.
+
+Exclure tous les états qui ne sont pas trivialement satisfiables.
+
+Requêtes N-aires.
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~:
+
+Garder pour chaque variable un ensemble de candidats.
+et propager.
\ No newline at end of file