Data reductions, fixed parameter tractability, and random weighted \(d\)-CNF satisfiability (Q840834)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Data reductions, fixed parameter tractability, and random weighted \(d\)-CNF satisfiability
scientific article

    Statements

    Data reductions, fixed parameter tractability, and random weighted \(d\)-CNF satisfiability (English)
    0 references
    0 references
    14 September 2009
    0 references
    weighted CNF satisfiability
    0 references
    fixed parameter tractability
    0 references
    data reduction
    0 references
    random instances
    0 references
    phase transitions
    0 references
    probabilistic analysis
    0 references
    resolution complexity
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers