Phase transitions of the typical algorithmic complexity of the random satisfiability problem studied with linear programming

• Hendrik Schawe ,

  Roles Formal analysis, Investigation, Software, Visualization, Writing – original draft, Writing – review & editing

  * E-mail: hendrik.schawe@uni-oldenburg.de

  Affiliation Institut für Physik, Universität Oldenburg, Oldenburg, Germany

  http://orcid.org/0000-0002-8197-1372

  ⨯
• Roman Bleim,

  Roles Formal analysis, Investigation, Software

  Affiliation Institut für Physik, Universität Oldenburg, Oldenburg, Germany

  ⨯
• Alexander K. Hartmann

  Roles Conceptualization, Formal analysis, Software, Supervision, Writing – review & editing

  Affiliation Institut für Physik, Universität Oldenburg, Oldenburg, Germany

  ⨯