Selecting Complementary Pairs of Literals (Q3439115)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Selecting Complementary Pairs of Literals
scientific article

    Statements

    Selecting Complementary Pairs of Literals (English)
    0 references
    0 references
    0 references
    0 references
    29 May 2007
    0 references
    phase transition
    0 references
    satisfiability
    0 references
    davis-putnam algorithm
    0 references
    probabilistic analysis
    0 references
    differential equations
    0 references

    Identifiers