Publication:2741515
From MaRDI portal
zbMath0990.90557MaRDI QIDQ2741515
Yannis C. Stamatiou, Lefteris M. Kirousis, Alexis C. Kaporis, Malvina G. Vamvakari, Michele Zito
Publication date: 24 September 2001
Related Items
The probabilistic analysis of a greedy satisfiability algorithm, Rigorous results for random (\(2+p)\)-SAT, Phase transition in a random NK landscape model, Selecting Complementary Pairs of Literals
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the Lambert \(w\) function
- Approximating the unsatisfiability threshold of random formulas
- Sharp thresholds of graph properties, and the $k$-sat problem
- Bounding the unsatisfiability threshold of random 3-SAT
- Tail bounds for occupancy and the satisfiability threshold conjecture