SAT backdoors: depth beats size (Q6152185)

From MaRDI portal
scientific article; zbMATH DE number 7815426
Language Label Description Also known as
English
SAT backdoors: depth beats size
scientific article; zbMATH DE number 7815426

    Statements

    SAT backdoors: depth beats size (English)
    0 references
    0 references
    0 references
    0 references
    11 March 2024
    0 references
    SAT
    0 references
    satisfiability
    0 references
    backdoor
    0 references
    elimination distance
    0 references
    parameterized algorithms
    0 references

    Identifiers