Schawe, Hendrik and Bleim, Roman and Hartmann, Alexander K. (2019) Phase transitions of the typical algorithmic complexity of the random satisfiability problem studied with linear programming. PLOS ONE, 14 (4). e0215309. ISSN 1932-6203