Verifying minimum stable circuit values (Q1007566)

From MaRDI portal





scientific article; zbMATH DE number 5530903
Language Label Description Also known as
English
Verifying minimum stable circuit values
scientific article; zbMATH DE number 5530903

    Statements

    Verifying minimum stable circuit values (English)
    0 references
    0 references
    23 March 2009
    0 references
    computational complexity
    0 references
    arithmetic circuit
    0 references
    stochastic game
    0 references
    verification
    0 references

    Identifiers