Proof complexity of QBF symmetry recomputation (Q2181920)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proof complexity of QBF symmetry recomputation
scientific article

    Statements

    Proof complexity of QBF symmetry recomputation (English)
    0 references
    0 references
    0 references
    20 May 2020
    0 references

    Identifiers