@inproceedings{c88f65c509204b259cbeff3fe3636217,
title = "Observed lower bounds for random 3-sat phase transition density using linear programming",
keywords = "conference contrib. refereed, ZX CWTS JFIS < 1.00",
author = "MJH Heule and {van Maaren}, H",
year = "2005",
language = "Undefined/Unknown",
isbn = "3-540-26276-8",
publisher = "Springer",
pages = "122--134",
editor = "F Bacchus and T Walsh",
booktitle = "Theory and applications of satisfiability testing",
note = "Eighth International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scotland ; Conference date: 19-06-2005 Through 23-06-2005",
}