Cops-Robber Games and the Resolution of Tseitin Formulas (Q5053060)
From MaRDI portal
scientific article; zbMATH DE number 7626545
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cops-Robber Games and the Resolution of Tseitin Formulas |
scientific article; zbMATH DE number 7626545 |
Statements
Cops-Robber Games and the Resolution of Tseitin Formulas (English)
0 references
5 December 2022
0 references
resolution
0 references
cops-robber game
0 references
