Sharpness of the satisfiability threshold for non-uniform random \(k\)-SAT

DOI10.1007/978-3-319-94144-8_17OpenAlexW2811491380MaRDI QIDQ1656585

Ralf Rothenberger, Tobias Friedrich

Publication date: 10 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94144-8_17

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Computational aspects of satisfiability (68R07)

Related Items (3)

Satisfiability threshold for power law random 2-SAT in configuration model ⋮ Popularity-similarity random SAT formulas ⋮ Unnamed Item

This page was built for publication: Sharpness of the satisfiability threshold for non-uniform random \(k\)-SAT