No label defined (Q3604002)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    0 references
    24 February 2009
    0 references
    0 references
    distribution jumping
    0 references
    direction heuristics
    0 references
    jumping strategy
    0 references
    look-ahead SAT solvers
    0 references