The following pages link to (Q4375776):
Displayed 4 items.
- An improved upper bound on the non-3-colourability threshold (Q293171) (← links)
- Pairs of SAT-assignments in random Boolean formulæ (Q2481970) (← links)
- A sharp threshold for the phase transition of a restricted satisfiability problem for Horn clauses (Q5931554) (← links)
- Upper bounds on the satisfiability threshold (Q5958807) (← links)