Sharpness of the Satisfiability Threshold for Non-Uniform Random K-SAT

Friedrich and Rothenberger. "Sharpness of the Satisfiability Threshold for Non-Uniform Random K-SAT." International Joint Conference on Artificial Intelligence, 2019. doi:10.24963/IJCAI.2019/853

[Friedrich and Rothenberger. "Sharpness of the Satisfiability Threshold for Non-Uniform Random K-SAT." International Joint Conference on Artificial Intelligence, 2019.](https://mlanthology.org/ijcai/2019/friedrich2019ijcai-sharpness/) doi:10.24963/IJCAI.2019/853

@inproceedings{friedrich2019ijcai-sharpness,
  title     = {{Sharpness of the Satisfiability Threshold for Non-Uniform Random K-SAT}},
  author    = {Friedrich, Tobias and Rothenberger, Ralf},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2019},
  pages     = {6151-6155},
  doi       = {10.24963/IJCAI.2019/853},
  url       = {https://mlanthology.org/ijcai/2019/friedrich2019ijcai-sharpness/}
}