A comparative runtime analysis of heuristic algorithms for satisfiability problems (Q835804): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Created claim: DBLP publication ID (P1635): journals/ai/ZhouHN09, #quickstatements; #temporary_batch_1731461124002
Property / DBLP publication ID
 
Property / DBLP publication ID: journals/ai/ZhouHN09 / rank
 
Normal rank

Revision as of 02:42, 13 November 2024

scientific article
Language Label Description Also known as
English
A comparative runtime analysis of heuristic algorithms for satisfiability problems
scientific article

    Statements

    A comparative runtime analysis of heuristic algorithms for satisfiability problems (English)
    0 references
    0 references
    0 references
    0 references
    31 August 2009
    0 references
    Boolean satisfiability
    0 references
    heuristic algorithms
    0 references
    random walk
    0 references
    (1+1) EA
    0 references
    hybrid algorithm
    0 references
    expected first hitting time
    0 references
    runtime analysis
    0 references

    Identifiers