@inbook{,
	author          = {Marijn J.H. Heule and Hans van Maaren},
	title           = {Look-Ahead Based SAT Solvers},
	chapter         = {5},
	publisher       = {IOS Press},
	year            = {2009},
	month           = {February},
	editor          = {Armin Biere and Marijn J.H. Heule and Hans van Maaren and Toby Walsh},
	volume          = {185},
	series          = {Frontiers in Artificial Intelligence and Applications},
	edition         = {Handbook of Satisfiability},
	pages           = {155-184},
	address         = {Amsterdam},
	isbn            = {978-1-58603-929-5},
	project         = {SAT},
	group           = {ALG}
}