The following pages link to (Q5091218):
Displaying 6 items.
- On unique satisfiability and the threshold behavior of randomized reductions (Q1894445) (← links)
- The threshold for random k-SAT is 2 <sup>k</sup> (ln 2 - O(k)) (Q3581271) (← links)
- A continuous–discontinuous second‐order transition in the satisfiability of random Horn‐SAT formulas (Q5433256) (← links)
- Satisfiability threshold for power law random 2-SAT in configuration model (Q5918829) (← links)
- Random 2-SAT: Results and problems (Q5958804) (← links)
- The impact of heterogeneity and geometry on the proof complexity of random satisfiability (Q6063345) (← links)