Corrigendum to ``Average time analyses of simplified Davis-Putnam procedures'' (Q797300): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0020-0190(83)90127-8 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W297067813 / rank
 
Normal rank

Latest revision as of 23:40, 19 March 2024

scientific article
Language Label Description Also known as
English
Corrigendum to ``Average time analyses of simplified Davis-Putnam procedures''
scientific article

    Statements

    Corrigendum to ``Average time analyses of simplified Davis-Putnam procedures'' (English)
    0 references
    0 references
    1983
    0 references
    Concerns the authors' paper ibid. 15, 72-75 (1982; Zbl 0529.68065).
    0 references
    Davis-Putnam procedures
    0 references
    polynomial average time
    0 references
    satisfiability
    0 references
    pure literal rule
    0 references

    Identifiers