@inproceedings{,
	author          = {Oliver Gableske and Marijn J.H. Heule},
	title           = {EagleUP: Solving Random 3-SAT using SLS with Unit Propagation},
	booktitle       = {Pragmatics of SAT 2011},
	year            = {2011},
	note            = {Pragmatics of SAT 2011},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/eagle_pos.pdf},
	project         = {SAT},
	group           = {ALG}
}