wiki_research

commit 1ec2d3c9375094a078dbb3dbccb11f3aedf84b9c
parent 6a2f2076075354cd8990e2653867cf0879c7d7d2
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Fri, 17 Oct 2025 21:36:55 +0200

commit with codex

Diffstat:
bdd
 | 
2
+-
fbdd
 | 
4
+++-

2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/bdd b/bdd
@@ -9,4 +9,4 @@
 
 Up: [diagram]
 
-See also: [branching_program], [read_once_branching_program], [decision_tree]
+See also: [branching_program], [read_once_branching_program], [decision_tree], [read_twice_branching_program]
diff --git a/fbdd b/fbdd
@@ -1,4 +1,4 @@
-# Fbdd
+# FBDD
 
 Free [BDD], i.e., the [variables] are not [ordered] but every [path] in the [BDD] encounters any given [variable] at most once
 
@@ -7,3 +7,5 @@ Is a subclass of [DNNF]
 Up: [bdd]
 
 Aliases: FBDDs
+
+See also: [read_twice_branching_program]