Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming.

Marijn Heule Hans van Maaren Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming. 122-134 2005 conf/sat/2005 SAT http://dx.doi.org/10.1007/11499107_9 db/conf/sat/sat2005.html#HeuleM05