Towards a Semantics of Unsatisfiability Proofs with Inprocessing (Q4645727)

From MaRDI portal
Revision as of 16:06, 7 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article; zbMATH DE number 6999980
Language Label Description Also known as
English
Towards a Semantics of Unsatisfiability Proofs with Inprocessing
scientific article; zbMATH DE number 6999980

    Statements

    Towards a Semantics of Unsatisfiability Proofs with Inprocessing (English)
    0 references
    0 references
    0 references
    10 January 2019
    0 references
    blocked clauses
    0 references
    DRAT proofs
    0 references
    SAT solving
    0 references

    Identifiers