Publications Login
Home List all
@inproceedings{,
	author          = {Sid Mijnders and Boris de Wilde and Marijn J. H. Heule},
	title           = {Symbiosis of Search and Heuristics for Random 3-SAT},
	booktitle       = {Proceedings of the Third International Workshop on Logic and Search (LaSh 2010)},
	year            = {2010},
	editor          = {David Mitchell and Eugenia Ternovska},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/ALDS_LaSh.pdf},
	project         = {SAT},
	group           = {ALG}
}