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
    0 references
    0 references
    0 references
    5 December 2022
    0 references
    resolution
    0 references
    cops-robber game
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references