Strong ETH and resolution via games and the multiplicity of strategies (Q2408195)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Strong ETH and resolution via games and the multiplicity of strategies
scientific article

    Statements

    Strong ETH and resolution via games and the multiplicity of strategies (English)
    0 references
    0 references
    0 references
    0 references
    10 October 2017
    0 references
    satisfiability
    0 references
    resolution
    0 references
    strong ETH
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers