@article{,
	author          = {Marijn J.H. Heule and Hans van Maaren},
	title           = {Whose side are you on? Finding solutions in a biased search-tree},
	journal         = {Journal on Satisfiability, Boolean Modeling and Computation},
	year            = {2008},
	volume          = {4},
	pages           = {117-148},
	issn            = {1574-0617},
	url             = {http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_7_Heule.pdf},
	project         = {SAT},
	group           = {ALG}
}