2 + p-SAT: Relation of typical-case complexity to the nature of the phase transition
- Rémi Monasson
- Riccardo Zecchina
- et al.
- 1999
- Random Structures and Algorithms
Publications
Date
Featured collections
Popular topics
12 results for Bart Selman
Critical behavior in the computational cost of satisfiability testing
- Bart Selman
- Scott Kirkpatrick
- 1996
- Artificial Intelligence