Definitioncore
Branching rule
Also called variable selection rule, branching strategy.
Rule that splits a subproblem into children, such as choosing which variable or edge to fix next.
Rule that splits a subproblem into children, such as choosing which variable or edge to fix next.
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 TMBN8X Edit this page History Report an error