Delaying satisfiability for random 2SAT (Q2852549): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1002/rsa.20465 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2096307009 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A linear-time algorithm for testing the truth of certain quantified Boolean formulas / rank
 
Normal rank
Property / cites work
 
Property / cites work: Balanced Allocations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Avoiding a giant component / rank
 
Normal rank
Property / cites work
 
Property / cites work: A phase transition for avoiding a giant component / rank
 
Normal rank
Property / cites work
 
Property / cites work: Creating a Giant Component / rank
 
Normal rank
Property / cites work
 
Property / cites work: Embracing the giant component / 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: Random \(k\)-SAT: A tight threshold for moderately growing \(k\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: A threshold for unsatisfiability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Critical Behavior in the Satisfiability of Random Boolean Expressions / rank
 
Normal rank
Property / cites work
 
Property / cites work: RANDOM 2‐SAT Does Not Depend on a Giant / rank
 
Normal rank
Property / cites work
 
Property / cites work: Avoiding small subgraphs in Achlioptas processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hamiltonicity thresholds in Achlioptas processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Birth control for giants / rank
 
Normal rank

Latest revision as of 23:11, 6 July 2024

scientific article
Language Label Description Also known as
English
Delaying satisfiability for random 2SAT
scientific article

    Statements

    Delaying satisfiability for random 2SAT (English)
    0 references
    0 references
    0 references
    0 references
    9 October 2013
    0 references
    0 references
    random structures
    0 references
    random SAT
    0 references
    Achlioptas process
    0 references
    threshold phenomenon
    0 references
    0 references