Techniqueadvanced
Two watched literals
Also called watched literals.
Watch two non-false literals per clause so propagation touches few clauses.
Watch two non-false literals per clause so propagation touches few clauses.
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 208V6S Edit this page History Report an error