Q3951539 (Q3951539): Difference between revisions
From MaRDI portal
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