Q3951539 (Q3951539): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Introduction to stochastic control theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3273545 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of theorem-proving procedures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5842591 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4131061 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4198056 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4142699 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Computational Complexity of Combinatorial Problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4144785 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4153377 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Satisfiability problems for propositional calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Multiplicative Process / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4166000 / rank
 
Normal rank

Latest revision as of 15:21, 13 June 2024

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

    Statements

    1982
    0 references
    average polynomial time cost
    0 references
    full randomness in the logical variables
    0 references
    average running time
    0 references
    Galil tree method
    0 references
    conjunctive normal forms
    0 references
    complexity of NP-complete problems
    0 references

    Identifiers