Eliminating Redundant Clauses in SAT Instances (Q3612408)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Eliminating Redundant Clauses in SAT Instances
scientific article

    Statements

    Eliminating Redundant Clauses in SAT Instances (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    10 March 2009
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers