Satisfiability via Smooth Pictures (Q2817998)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Satisfiability via Smooth Pictures
scientific article

    Statements

    Satisfiability via Smooth Pictures (English)
    0 references
    5 September 2016
    0 references
    smooth pictures
    0 references
    bounded Frege proof systems
    0 references
    pigeonhole principle
    0 references
    0 references
    0 references

    Identifiers