@book{,
	author          = {Armin Biere and Marijn J.H. Heule and Hans van Maaren and Toby Walsh},
	title           = {Handbook of Satisfiability},
	publisher       = {IOS Press},
	year            = {2009},
	month           = {February},
	volume          = {185},
	series          = {Frontiers in Artificial Intelligence and Applications},
	address         = {Amsterdam},
	isbn            = {978-1-58603-929-5},
	url             = {http://www.iospress.nl/loadtop/load.php?isbn=9781586039295},
	project         = {SAT},
	group           = {ALG}
}