Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP (Q4928481)

From MaRDI portal
scientific article; zbMATH DE number 6176250
Language Label Description Also known as
English
Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP
scientific article; zbMATH DE number 6176250

    Statements

    Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP (English)
    0 references
    0 references
    0 references
    14 June 2013
    0 references

    Identifiers