Modeladvanced
Read-once branching program
Also called read-once BP.
A branching program that reads each variable at most once on every path; the model behind FBDDs.
A branching program that reads each variable at most once on every path; the model behind FBDDs.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag MBVMJN Edit this page History Report an error