Q2741515 (Q2741515): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Malvina G. Vamvakari / rank
Normal rank
 
Property / author
 
Property / author: Michele Zito / rank
Normal rank
 
Property / author
 
Property / author: Malvina G. Vamvakari / rank
 
Normal rank
Property / author
 
Property / author: Michele Zito / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Maple / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3682518 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Lambert \(w\) function / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4952608 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5538132 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sharp thresholds of graph properties, and the $k$-sat problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounding the unsatisfiability threshold of random 3-SAT / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tail bounds for occupancy and the satisfiability threshold conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: Approximating the unsatisfiability threshold of random formulas / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4382605 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4871770 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3709001 / rank
 
Normal rank

Latest revision as of 19:50, 3 June 2024

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

    Statements

    0 references
    0 references
    0 references
    0 references
    0 references
    24 September 2001
    0 references
    0 references
    random 3-SAT formulas
    0 references
    occupancy problem
    0 references
    random allocation schemes
    0 references