Phase Transitions of the Typical Algorithmic Complexity of the Random Satisfiability Problem Studied with Linear Programming. - Hendrik Schawe; Roman Bleim; Alexander K. Hartmann (CoRR, 2017)