@inproceedings{,
	author          = {Marijn J. H. Heule and Hans van Maaren},
	title           = {Observed Lower Bounds for Random 3-Sat Phase Transition Density using Linear Programming},
	booktitle       = {SAT 2005},
	publisher       = {Springer},
	year            = {2005},
	editor          = {Fahiem Bacchus and Toby Walsh},
	volume          = {3569},
	series          = {Lecture Notes in Computer Science},
	pages           = {122--134},
	isbn            = {ISBN 3-540-26276-8},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/35690122.pdf},
	project         = {SAT},
	group           = {ALG}
}